Imagem de fundo

A argumentação Se lógica é fácil, então Sócrates foi mico...

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


  1. Se lógica é fácil, então Sócrates foi mico de circo.
  2. Lógica não é fácil.
  3. Sócrates não foi mico de circo.


é válida e tem a forma



  1. P → Q
  2. < ¬P
  3. < ¬Q

C

Certo


E

Errado