Questão
ID 1212554Disciplina: Raciocínio Lógico
Assunto: Construção
Ano: 2004 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Serviço Federal de Processamento de Dados
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.