Sejam p e r duas proposições verdadeiras e q uma proposição ...
P : [ ( p → q ) → ( r ˄ ~ p ) ] ↔ ~ q
P : [ ( p → q ) → ( r ˄ ~ p ) ] ↔ ~ q =
P: [ ( V → F ) → ( V ˄ F ) ] ↔ V =
P : [ ( F ) → ( F ) ] ↔ V =
P : [V] ↔ V =
P : V
P : [ ( p → q ) → ( r ˄ ~ p ) ] ↔ ~ q =
P: [ ( V → F ) → ( V ˄ F ) ] ↔ V =
P : [ ( F ) → ( F ) ] ↔ V =
P : [V] ↔ V =
P : V