Question

Uma proposição é uma sentença que pode ser classificada como falsa ou verdadeira, mas não ambas. Assim, podemos considerar que uma proposição é toda expressão que possui sentido completo e pode ser classificada como V (verdadeira) ou F (Falsa).
Dada uma proposição condicional da forma , temos:
Contrapositiva de ;
Negação de .

a) Considerando essas informações, escreva a contrapositiva e a negação da seguinte condicional:
“ Se a mensagem não é verificada contra vírus então a mensagem não é enviada.”

b) Construa a tabela-verdade da proposição .

Answer 1

Respondendo cada item da questão:

a) A contraposição é uma equivalência lógica de qualquer sentença. Ela é feita invertendo e negando o antecedente e o consequente. Ou seja, P→Q e -P→-Q.

A negação é violar um princípio da sentença -(P→Q).

Nesse caso específico:

(Contraposição) Se a mensagem for verificada contra vírus então ela é enviada.

(Negação) Uma mensagem não verificada contra vírus foi enviada.

b) A tabela-verdade é construída com uma série de sentenças, contraposições e negações, classificando-as como verdadeiras ou falsas com base na sentença original.