Dizer que “Se João ou Maria são inteligentes então Alice e Vilmar não são bonitos” é logicamente equivalente a:
E.Se Alice ou Vilmar é bonito então João e Maria não são inteligentes.
Proposição equivalente horizontal
P=>Q = ~Q=>~P
Ou seja, inverte a ordem e nega as duas preposições.
Navegue em mais questões
{TITLE}
{CONTENT}