Questão
ID 1212562Disciplina: Raciocínio Lógico
Assunto: Representação dos Argumentos
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 argumentação
- Se lógica é fácil, então Sócrates foi mico de circo.
- Lógica não é fácil.
- Sócrates não foi mico de circo.
é válida e tem a forma
- P → Q
- < ¬P
- < ¬Q