Lógica classica

Alunos: Ana Moura, Wagner Lopes

As seguintes proposições são verdadeiras:

• O time do Bahia perdeu o jogo no domingo. (V)
• O time do Remo ganhou o jogo no domingo. (V)
• Marcos gosta de cantar óperas. (V)
• Júlia não come beterraba. (V)

As seguintes proposições são falsas:

• Carlos perdeu seu par de chinelos. (F)
• Maria possui um par de sandálias douradas. (F)
• Júlia come batata frita. (F)
• O time do Bahia é dirigido por Zagalo. (F)

1. Determinar a veracidade das seguintes conjunções:

a) O time do Bahia perdeu o jogo domingo e o time do Remo ganhou o jogo domingo. (v)
b) O time do Bahia perdeu o jogo domingo e o time do Remo perdeu o jogo domingo. (F)
c) Maria possui um par de sandálias douradas e Marcos gosta de cantar óperas.(F) d) O time do Bahia perdeu o jogo no domingo e Zagalo dirige o time do Bahia. (F)

2. Determinar a veracidade das seguintes disjunções inclusivas:

a) O time do Bahia perdeu o jogo domingo ou o time do Remo ganhou o jogo domingo. (V)
b) Júlia come beterraba ou batata frita. (F)
c) Carlos perdeu seu par de chinelos ou Marcos gosta de cantar óperas. (V)
d) O time do Bahia ganhou o jogo domingo ou é dirigido por Zagalo. (F)

3. Determinar a veracidade das seguintes disjunções exclusivas:

a) Ou o time do Bahia perdeu o jogo domingo ou o time do Remo ganhou o jogo domingo. (F)
b) Ou Maria possui um par de sandálias douradas ou Marcos gosta de cantar óperas. (V)
c) Ou Júlia come beterraba ou come batata frita. (F)
d) Ou Carlos perdeu seu par de chinelos ou Marcos gosta de cantar óperas. (V)

4. Construa a tabela-verdade para cada proposição composta:

a) P (p, q): ~ p v q  p
b) P (p, q): ( p ^ ~ q) v (~ p ^ q)
c) P (p,q): p v ( p ^ q)   p
a)
p q ~p ~ p v q ~p v qp
V V F V V
V F F F V
F V V V F
F F V V F

b) p q ~q ~ p (p ^ ~q) (~p ^ q) ( p ^ ~ q) v (~ p ^ q)

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

c) p q (p ^ q) p v ( p ^ q) p v ( p ^ q)  