Escolar Documentos
Profissional Documentos
Cultura Documentos
proposicional:
Equivalência, regras
de dedução
Agenda
● Exercício da aula passada
○ Representação de Conhecimento com Lógica Proposicional
● Regras de Inferência
● Regras de equivalência
● Exercícios
Observações sobre representação
● PàQ, P |-- Q
● PàQ, P Q
Regras de equivalência
● E13 α ↔ β ≡ (α → β) ∧ (β → α)
● α → β NÃO é equivalente a β → α
Regras de equivalência
A implicação NÃO é associativa (vide propriedade da implicação)
● (α → β) → γ NÃO é equivalente a α → (β → γ)
● α |-- α ∨ β (Adição)