Teoría de la demostración

Conceptos

• Sistema axiomático 11 ejerciciosUn sistema axiomático es una terna S=(L,A,R) formada por un lenguaje formal, axiomas y reglas de inferencia.
• Regla de inferencia 10 ejerciciosUna regla de inferencia autoriza el paso formal de las premisas φ_1,…,φ_n a la conclusión ψ.
• Modus ponens 11 ejerciciosSean P y Q proposiciones. El modus ponens permite concluir Q a partir de P⇒ Q y P.
• Demostración formal 10 ejerciciosUna demostración formal de φ_n es una sucesión φ_1,…,φ_n en la que cada término es un axioma, una hipótesis admitida o el resulta…
• Consistencia 10 ejerciciosUn sistema S es consistente si no existe una fórmula φ tal que S demuestre φ y ¬φ.
• Completitud lógica 10 ejerciciosUn cálculo S es completo si toda fórmula φ válida bajo su semántica es demostrable en S.