La mayoría de ellos son versiones formalizadas del sentido común. “Si sabes que A es verdad, y sabes que A⇒ B es verdad, entonces puedes concluir que B es verdad”. O “si sabes que X\(\we...La mayoría de ellos son versiones formalizadas del sentido común. “Si sabes que A es verdad, y sabes que A⇒ B es verdad, entonces puedes concluir que B es verdad”. O “si sabes que X∧ Y es falso, y entonces descubres que Y es verdad, entonces puedes concluir que X es falso”. Etc.
