Lógica de Predicados Flashcards
1
Q
Una interpretación 𝐈 está compuesta de
A
Un dominio de evaluación 𝐈(dom) y una interpretación sobre los símbolos de predicado 𝐈(P).
2
Q
Satisifacibilidad de interpretaciones
A
𝐈 ⊨ α(a₁, …, aₙ) si α(a₁, …, aₙ) es verdadero al interpretar acorde con cada símbolo en 𝐈
3
Q
Equivalencia lógica de predicados
A
Para fórmulas α(a₁, …, aₙ) y β(b₁, …, bₙ), tenemos que α ≡ β si para toda interpretación 𝐈 y para todo a₁, …, aₙ, se cumple:
𝐈 ⊨ α(a₁, …, aₙ) ⇔ 𝐈 ⊨ β(a₁, …, aₙ)
