Question

Indique a alternativa que contém apenas proposições tautológicas

A
p v (p ^ q)

p ^ ~p

B
p v ~(p ^ q)

~(p ^ ~p)

C
p ^ (p ^ q)

~(p ^ ~p)

D
~(p ^ ~p) v q

(p --> q) ^ q

E
p v ~(p ^ q)

~(p ^ ~p) ^ q

Answer 1

Resposta:

e.

Apenas a afirmativa III é verdadeira.

Feedback da resposta:

Resposta: D

Comentário: As proposições contrapositivas são equivalentes e, para provar isso, basta construir a tabela-verdade (p \u2192 q) \u2194 (~q \u2192 ~p) e demonstrar a tautologia. Não faz sentido dizer que duas proposições são tautológicas, uma vez que esta é uma propriedade que concerne a uma proposição composta, apenas. Por outro lado, as proposições contrapositivas poderiam ser contraditórias se uma fossem equivalentes à negação da outra, o que não é verdade.

Answer 2

Resposta:

Explicação: