DANIEL TADEU RODRIGUES BUENOO
23/07/2019 • 22:22
o inicio logico das proposições são : p = "V" e q = "V"
[(p ↔ q) → ~p]^ ~q
[(V ↔ V) → ~V]^ ~V
[(V) → F]^ F
F^F = FALSO
[(p ↔ q) → ~p]^ ~q
[(V ↔ V) → ~V]^ ~V
[(V) → F]^ F
F^F = FALSO