Logica matematica
1. IDENTIFICAÇÃO
1-) Seja p “Ela é alta” e seja q “Ela é bonita”. Escrever cada uma das seguintes proposições na forma simbólica:
a)Ela é alta e bonita
(p ^ q)
b) Ela é alta, mas não bonita
(p ^ ¬ q)
c) É falso que: ela é baixa ou bonita
¬ (¬p v q)
d) Ela não é alta, nem bonita (¬q ^ ¬q)
e) Não é verdade que: ela é baixa ou não é bonita
(¬p v ¬q)
2) Seja p “Marcos é rico” e seja q “Marcos é feliz”. Escrever cada uma das seguintes proposições na forma simbólica:
a)Marcos é pobre, mas feliz (¬p ^ q)
b) Marcos não é nem rico, nem feliz
(¬p ^ ¬q)
c) Marcos é rico ou infeliz
(p v ¬q)
d) Marcos é pobre ou: rico e infeliz
(¬p v p ) ^ ¬q
3) Seja p “Érica lê jornal”, seja q “Érica lê livro” e seja r “Érica lê revista”. Escrever cada uma das seguintes proposições na forma simbólica:
a)Érica lê jornal ou revista, mas não livro
(p v r) ¬q
b) Érica lê jornal e livro ou ela não lê jornal e revista
(p ^ q) v ¬(p ^ r)
c) Não é verdade que: Érica lê jornal, mas não revista
¬(p ^ ¬r)
d) Não é verdade que: Érica lê revista ou livro, mas não jornal
¬(r v q) ^ ¬p
4) Determinar o valor lógico de cada uma das afirmações seguintes:
Ex. O Sol é verde e a Chuva molha. p= O Sol é verde. q= Chuva molha. p ^ q = F
a)3 + 2 = 7 e 4 + 4 = 8
FALSO
b) 2 + 1 = 3 e 7 + 2 = 9
VERDADEIRO
c) Paris fica na Inglaterra ou 3 + 4 = 7
VERDADEIRO
d) Londres fica na França ou 5 + 2 = 3
FALSO
e) Não é verdade que Londres fica