Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
A tabela de interpretação de (P → ¬Q) → ¬P é igual à tabela...
A lógica proposicional trata das proposições que podem ser interpretadas como verdadeiras (V) ou falsas (F). Para as proposições (ou fórmulas) P e Q, duas operações básicas, “¬” e “→”, podem ser definidas de acordo com as tabelas de interpretação abaixo.
P | ¬ P |
V | V |
F | V |
P | Q | P→Q |
V | V | V |
V | F | F |
F | V | V |
F | F | V |
Com base nessas operações, novas proposições podem ser construídas.
__Uma argumentação é uma seqüência finita de proposições. Uma argumentação é válida sempre que a veracidade (V) de suas (n - 1) premissas acarreta a veracidade de sua n-ésima — e última — proposição.
Com relação a esses conceitos, julgue os itens a seguir.
A tabela de interpretação de (P → ¬Q) → ¬P é igual à tabela de interpretação de P → Q.
C
Certo
E
Errado