LGICA 1 PROVA 16/5

Nome: _____________________________________________________________________________
Leia as afirmaes abaixo e escolha a melhor alternativa.
Questo 1 (1,5 ponto)
I - Q V R, Q I= R um argumento vlido.
II - P, R I= P V R um argumento vlido.
III - Q P, P I= Q um argumento vlido.
(a) I e II esto corretas (b) II e III esto corretas (c) I e III esto corretas (d) apenas III
est correta
Questo 2 (1,5 ponto)
I - (Q V R) V R, R I= R V Q um argumento vlido.
II - P I= (P V Q) V (P V Q) um argumento vlido.
III - Q (P Q), (P V Q) I= Q um argumento vlido.
(a) I e II esto corretas (b) II e III esto corretas (c) I e III esto corretas (d) apenas III
est correta
Questo 3 (1,5 ponto)
I - (P Q) (P Q) uma proposio contraditria.
II - (P R) (R P) uma proposio contingente.
III - P (Q P) uma proposio tautolgica.
(a) I e II esto corretas (b) II e III esto corretas (c) I e III esto corretas (d) apenas I
est correta
Questo 4 (1,5 ponto)
I - ((P P ) Q) uma proposio tautolgica.
II - ((P Q) P) P uma proposio contingente.
III - (P ( P Q)) Q uma proposio tautolgica.
(a) I e II esto corretas (b) II e III esto corretas (c) I e III esto corretas (d) apenas I
est correta

Questo 5 (1,5 ponto)

II - (P Q) e P V Q so logicamente equivalentes.
III - (P Q) (Q P) e (P Q) so logicamente equivalentes.
I - (P Q) e P V Q so logicamente equivalentes.
(a) I e II esto corretas (b) II e III esto corretas (c) I e III esto corretas (d) apenas III
est correta
Questo 6 (1,5 ponto)
II - {R Q, R Q, R} um conjunto de frmulas consistente.
III - {P Q, Q P, Q V P} um conjunto de frmulas consistente.
I - {P V Q, P, Q} um conjunto de frmulas consistente.
(a) I e II esto corretas (b) II e III esto corretas (c) I e III esto corretas (d) apenas II
est correta
Questo 7 (1 ponto)
Argumento:
Se Pereira ama Renato, ento Quintino e Renato tambm amam Renato.
Quintino no ama Renato ou Renato no ama a si mesmo.
Logo, no verdade que Pereira no ama Renato.
Interpretao:
P - Pereira ama Renato
Q - Quintino ama Renato
R - Renato ama Renato
I - Podemos formalizar o argumento da seguinte maneira: P (Q R), Q V R I= P
II - Podemos formalizar o argumento da seguinte maneira: (P Q) R, (Q V R) I=
P
III - O argumento no vlido.
(a) I e II esto corretas (b) II e III esto corretas (c) I e III esto corretas (d) apenas I
est correta