Logica

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (261 palavras )
  • Download(s) : 0
  • Publicado : 8 de abril de 2013
Ler documento completo
Amostra do texto
Lógica

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


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

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

2) Sejam as proposições:

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



Traduzir para a linguagem simbólica asseguintes 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 é pobreou 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.


Traduzirpara 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, ounã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ãofala 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)~pb)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) ~~q
tracking img