
Por DANIEL TADEU RODRIGUES BUENOO em 23/07/2019 22:22:06
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