Logica

Lógica

1)Sejam as proposições: p : Marcos é alto. q : Marcos é elegante. r : Marcos é inteligente.

Traduzir para a linguagem simbólica as seguintes proposições:

(a) Marcos é alto e elegante
(b) Marcos é alto, mas não é elegante.
(c) Não é verdade que Marcos é inteligente ou elegante.
(d) Marcos não é nem alto e nem elegante.
(e) Marcos é alto ou é inteligente e elegante.
(f) È falso que Marcos é inteligente ou que não é elegante

2) Sejam as proposições:

p: Maria é rica. q: Maria é feliz. r: Maria é pobre.

Traduzir para a linguagem simbólica as seguintes proposições:

(a) Maria não é rica, mas feliz.
(b) Maria é rica ou não é feliz.
(c) Maria é pobre e não é feliz.
(d) Maria é pobre ou rica, mas não é feliz.

3) Sejam as proposições:

p: Mauro fala francês. q: Mauro fala inglês. r: Mauro fala alemão.

Traduzir para a linguagem simbólica as seguintes proposições:

a) Mauro fala francês ou inglês, mas não fala alemão.
b) Mauro fala francês ou inglês, ou não fala francês e alemão.
c) É falso que Mauro fala francês, mas que não fala alemão.
d) É falso que Mauro fala inglês ou alemão, mas que não fala francês.

4) Seja p: A aranha arranhou a jarra e q: A jarra arranhou a aranha .Traduza em linguagem corrente as seguintes sentenças:
a)~p b)p ∧ q c) p v q d) q ↔ p e) p → ~q f) p v ~q
g) ~p ∧ ~q h) p ↔ ~q i) p ∧ ~q → p j)