Escolar Documentos
Profissional Documentos
Cultura Documentos
Resumos de matemática
Lógica bivalente
• Termos e proposições
1
domingo, 29 de Setembro de 2019
• Equivalência de proposições
p: √3x7 = √3 x √7
q: √9+16 = √9 + √16
r: √(-3)² = -3
s: -2+3
“a⟺b”
2
domingo, 29 de Setembro de 2019
- Negação
Consideremos p: “A Maria gosta de bolos”
Tabela da verdade
p ~p
v F
F v
3
domingo, 29 de Setembro de 2019
- Conjunção (^/ e)
Consideremos p: O João é médico
q: A Rita é enfermeira
4
domingo, 29 de Setembro de 2019
• Propriedades da disjunção
- Idempotência: p∨p p
5
domingo, 29 de Setembro de 2019
Consideremos as proposições:
• Implicação
antecedente ⟶ pS q ⟵ consequente
p q p q
V V V
V F F
F V V
F F V
6
domingo, 29 de Setembro de 2019
• Propriedades da implicação
- A implicação é transitiva
Se p q e q r então p r.