Pratique Aula 06 Logica

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 4

LÓGICA ANOTAÇÕES 1

PRATIQUE AULA 06
1. Com auxílio das tabelas de valores, examinar a validade dos seguintes argumentos:
a) P, logo P v Q

Para o argumento P→(P∨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

Para o argumento (P→Q)⋅(P→R),∼P→∼Q∨∼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.

Para o argumento P→(Q∨R),(R⋅S)→T,P→T:

P Q R S T QvR R.S P → (Q v R) (R . S) → T P→T


V V V V V V V V V V
V V V V F V V V F F
V V V F V V F V V V
V V V F F V F V V V
V V F V V V F V V V
V V F V F F F V V V
V V F F V F F V V V
LÓGICA ANOTAÇÕES 2

P Q R S T QvR R.S P → (Q v R) (R . S) → T P→T


V V F F F F F V V V
V F V V V V V V V V
V F V V F V V V F F
V F V F V V F V V V
V F V F F V F V V V
V F F V V F V V V V
V F F V F F F V V V
V F F F V F F V V V
V F F F F F F V V V
F V V V V V V V V V
F V V V F V V V F V
F V V F V V F V V V
F V V F F V F V V V
F V F V V V V V V V
F V F V F F V V F V
F V F F V F F V V V
F V F F F F F V V V
F F V V V F V V V V
F F V V F V V V F V
F F V F V V F V V V
F F V F F V F V V V
F F F V V F F V V V
F F F V F F F V V V
F F F F V F F V V V
F F F F F F F V V V

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.

2. Procurar simbolizar os argumentos seguintes e examinar sua validade com as tabelas de


valores:
a) Se trabalho, ganho dinheiro, e, se não trabalho, me divirto. Logo, não ganhando dinheiro, me divirto.
b) Se José comprar ações e se o mercado baixar, ele perderá seu dinheiro. Mas o mercado não vai baixar.
Portanto, ou José compra ações ou perde dinheiro.

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”.

3.9. Exercícios de revisão


1. Admitindo que ‘P’, ‘Q’, ‘R’ e ‘S’ abreviem, respectivamente, ‘Hoje está nublado’, ‘vai chover’, ‘vai gear’ e
‘amanha estará claro’, traduzir:
LÓGICA ANOTAÇÕES 3

a) P . (Q v R) c) P → (Q v R). b) (P → Q) v R d) P ↔ ((Q . ~ R) v S).

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)

8. Se a informação for suficiente, determinar o valor pedido:


a) P . Q falso: valor de Q b) P → Q verdadeiro: valores de P e de Q c) P → Q falso, P verdadeiro: valor de
Q
d) P → Q falso: valor de Q → P; valor de ~ Q → ~ P
e) (P . Q) → R falso: valores de P, Q e R.
9. Construir tabelas de valores para:
a) (P → ~ P) → ~ P b) ((P . Q) → R) ~ Q c) P . Q → (R v S) . T

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?

11. Usando tabelas, examinar a validade:


a) Se João precisar de dinheiro, reduzirá os preços ou fará um empréstimo. Sei que não fará empréstimo.
Logo, se João não reduzir os preços é porque não quer dinheiro.
b) Se Pedro mantiver a promessa, então, se as entregas forem feitas com atraso,
as mercadorias serão boas. As mercadorias não serão boas. Logo, se as entregas forem feitas com
atraso, Pedro não manterá a promessa.

12. Se α for uma tautologia e α → β também, será β uma tautologia?


Se α for tautologia, se α . β também o for, deverá sê-lo β?
Se α v β for tautologia, deverão sê-los α e β?
13. Constatar se são equivalentes os pares de sentenças seguintes:
a) Se o céu está encoberto, a chuva vem. O céu não está encoberto ou a chuva não vem.
b) Se está quente e úmido, a tempestade vem. Se não está quente nem úmido, a tempestade não vem.

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.

Você também pode gostar