Question

considerando os operadores da conjunção (^),de negação (~) e condicional (→), concluimos que a tabela-verdade da fórmula [~(P^Q)^P→Q] é uma tautologia

Answer 1

Resposta:

Sim, é uma tautologia.

Explicação:

Pois na resolução da tabela-verdade, os resultados dessa expressão sempre dão verdadeiro.

$\left[\begin{array}{cccccccc}p&q&-p&-q&p^q&-(p^q)&(-(p^q))^p&(-(p^q))^p)>q\\0&0&1&1&0&1&0&1&0&1&1&0&1&0&0&1\\1&0&0&1&0&1&0&1&1&1&0&0&1&0&0&1\end{array}\right]$

[- = ~] [$p^q$=p^q] [> = →]