Considere a proposição composta "Se o mês tem 31 dias, então não é setembro". A proposição composta equivalente é
I) Se beber, então não dirija.
II) Se dirigir, então não beba.
III) Se não beber, então dirija.
IV) Se não dirigir, então beba.
V) Dirija se e somente se não beber.
Analisando-se as afirmações acima, quanto à equivalência lógica entre elas, NÃO se pode afirmar que
A contrapositiva de uma proposição condicional é uma tautologia.
PORQUE
A tabela verdade de uma proposição condicional é idêntica à de sua contrapositiva.
Analisando-se as afirmações acima, conclui-se que
Considere verdadeira a declaração: "Se x é par, então y é ímpar".
Com base na declaração, é correto concluir que, se
Dadas as sentenças A e B da lógica de primeira ordem, onde A é a sentença
e B é a sentença
, tem-se que
possui a mesma tabela verdade que