Imagem de fundo

A seqüência de proposições Se existem tantos números...

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 seqüência de proposições


  1. Se existem tantos números racionais quanto números irracionais, então o conjunto dos números irracionais é infinito.
  2. O conjunto dos números irracionais é infinito.
  3. Existem tantos números racionais quanto números irracionais.


é uma argumentação da forma


  1. P → Q
  2. Q
  3. P

C

Certo


E

Errado