Apostila de Lógica

Unidade 1 – Sentenças e Representação simbólica
(a) P
~ Q
(b)
~ Não é verdade que João é gaúcho e Jaime não é paulista.
~~ P
Não é verdade que João não é gaúcho.
(c) ~ P ~ Q
(d)
(e)
~ Não é verdade que João não é gaúcho ou que Jaime não é
paulista.
P ~ Q
Se João é gaúcho, então Jaime não é paulista.
~ P ~ Q
João não é gaúcho se e somente se Jaime não é paulista.
(f) ~ Q P
~ Não é verdade que, se Jaime não é paulista, então João é
gaúcho.
3. Sejam as proposições,
P: Marcos é alto
Q: Marcos é elegante
Traduzir para a linguagem simbólica as seguintes proposições.
(a) Marcos é alto e elegante.
(b) Marcos é alto, mas não é elegante.
P Q
P ~ Q
(c) Não é verdade que marcos é baixo ou elegante. ~ ~ P Q
(d) Marcos não é nem alto e nem elegante.
~ P
~ Q
(e) Marcos é alto ou é baixo e elegante. P ~ P Q
(f) É falso que Marcos é baixo ou que não é elegante. ~ ~ P
~ Q
4. Construir a T.V. das seguintes proposições:
(a) P
~ Q P
(b) ~ P ~ Q
~ ~ P
~ Q
(c)