Alguem me da uma ajuda?
Verifique, usando tabela-verdade, se as afirmações a seguir são verdadeiras ou não:
a) A sentença P -> (~ P ^ ~ Q) é semanticamente equivalente à sentença ~ (P ^ Q).
b) A negação da sentença “Se está fazendo frio, então João veste casaco” é
semanticamente equivalente à sentença “Está fazendo frio e João não veste casaco”.
c) A sentença (A -> ~ B) ^ (~ B -> A) implica semanticamente a sentença A v B.
d) O argumento a seguir é válido: “Gabriel estuda ou não está cansado. Se Gabriel
estuda, então dorme tarde. Gabriel não dorme tarde ou está cansado. Logo, Gabriel está
cansado se e somente se estuda.”.
Soluções para a tarefa
Respondido por
0
Resposta:
Explicação:acho que é a b não tenho certeza
Perguntas interessantes