Pratique Aula 06 Logica
Pratique Aula 06 Logica
Pratique Aula 06 Logica
PRATIQUE AULA 06
1. Com auxílio das tabelas de valores, examinar a validade dos seguintes argumentos:
a) P, logo P v Q
P Q P v Q P → (P v Q)
VV V V
VF V V
F V V V
F F F V
O argumento é válido, pois a implicação é verdadeira para todas as combinações de valores de verdade
de P e Q.
b) (P → Q) . (P → R), ~ P, logo ~ Q v ~ R
P Q R P → Q P → R (P → Q) . (P → R) ~ P ~ Q ~ R ~ P → ~ Q v ~ R
VV V V V V F F F V
VV F V F F F F V V
VF V F V F F V F V
VF F F F F F V V V
F V V V V V V F F V
F V F V F F V F V V
F F V V V V V V F V
F F F V V V V V V V
O argumento é válido, pois a implicação é verdadeira para todas as combinações de valores de verdade
de P, Q e R.
c) P → (Q v R), (R . S) → T, logo P → T.
O argumento é válido, pois a implicação é verdadeira para todas as combinações de valores de verdade de P,
Q, R, S e T.
3. Estudar a validade de: “Se João mantém a promessa, então, se as entregas forem feitas a tempo, a
mercadoria estará boa. A mercadoria não estará boa. Logo, se as entregas forem feitas a tempo, João não
cumprirá sua promessa”.
2. Desdobrar o enunciado ‘Pedro e Paulo merecem confiança’ em uma conjunção. Pode-se proceder de
modo análogo com ‘Pedro e Paulo são amigos’? 3. Determinar os componentes das sentenças que se
seguem; simbolizar:
a) Pedro foi caçar ontem e eu o acompanhei; hoje, ele foi pescar e eu não o acompanhei.
b) Se João está alegre e Mario não está fatigado, Pedro está triste.
c) Você pode chegar lá de trem ou de avião. 4. Determinar o valor (V ou F) das sentenças seguintes:
a) 2 + 2 = 4 e 3 + 4 = 5. b) Se 2 + 2 = 4 então 3 + 3 = 6. c) Se 1 + 1 = 8 então 3 + 3 = 6 ou 5 + 5 ≠ 10.
5. Supondo que ‘P’ e ‘R’ tenham valor ‘F’ e que ‘Q’ tenha valor ‘V’, que valor têm os enunciados seguintes?
a) (P . Q) v R c) P . (Q v R)
b) (P → Q) → R d) (Q v R) → P.
6. Admitindo falso o condicional ‘P → Q’, que valor têm?
a) (P → Q) → (Q v R) 7. Completar a análise de valores:
a) (P ~ (Q v R)) → (P → (R v Q)) VFV
b) (Q → R) ↔ (~ Q v R) F
b) (Q v R) → (P → Q)
10. Eis uma previsão: “Se o prefeito não agir mas o governador intervier, então, ou o promotor especial
será indicado ou o prefeito será obrigado a retirar-se”. Em que condições a previsão resultará falsa?
14. O conectivo ‘salvo se’, como em “Tudo irá bem, salvo se chover”, é traduzível, em nossa
linguagem, por ‘se não’, de modo que ‘P salvo se Q’ se abrevia com ‘~ Q → P’. Qual é a tabela de
valores de ‘salvo se’? Ter-se-ia equivalência entre ‘~ Q → P’ e ‘P v Q’?
LÓGICA ANOTAÇÕES 4
15. Eliminar os conetivos ‘→’ e ‘↔’ nos enunciados seguintes, escrevendo equiva- lentes que não
tenham esses símbolos:
a) P → P c) P → (P v Q)
b) (P → Q) → R d) (P ↔ Q) → (~ P → ~ Q)
16. A sentença (P → Q) v (Q → P) é tautológica. Sendo α e β sentenças quaisquer,
(α → β) v (β → α) é também tautológica. Discutir a afirmação: ou α implica β ou
β implica α (Sugestão: considerar o caso em que β seja P . Q e α seja P . ~ Q).
17. É conveniente, em alguns casos, identificar a negação de uma sentença de tal modo que o sinal
‘~’ esteja associado apenas às letras sentenciais. P. ex., a negação de ~ P v Q pode ser escrita (De
Morgan) na forma ~ ~ P . ~ Q e, a seguir(dupla negação), na forma P . ~ Q. Nesse espírito, obter
negações de:
a) P → (P . Q) Resp.: P . (~ P v ~ Q) b) (P → Q) . (Q → P) c) Q v ~ (P . R)
18. Justificar o seguinte fato: uma sentença α que tenha como componente a sentença (P . ~ P) v Q
é equivalente à sentença obtida de α, substituindo o componente por Q.