9.Lenguaje En LP Flashcards
Cómo podemos determinar con seguridad que las inferencias son válidas?
Tablas de verdad o diagramas semánticos
Props de la implicación
.Reflexiva A->A .Transitiva (A->B)^(B->C).->.A->C .Con tautología A->T .Con contradicción T(inversa)->A .No simétrica A->B no necesariamente es igual a B->A
Diferencias entre condicional e implicación
C: se refiere a una relación formal antecedente y consecuente
I: se refiere a una relación semántica necesaria de los valores de verdad de las fbfs dadas
Props de la equivalencia
Reflexiva AA
Transitiva (AB)^(BC).->.AC
Simétrica AB=BA
Con tautología AT=A
Que son las reglas de inferencia?
Son las reglas de transformación de un lenguaje, se caracterizan por preservar la validez
Cómo se agrupan las reglas de inferencia?
Se agrupan en:
.Implicaciones notables
.Equivalencias notables
Principios clásicos de las reglas de inferencia
.Principio de Identidad
.Principio de Tercio Excluso
.Principio de No Contradicción
Sig del principio de identidad
Toda proposición se implica a sí misma
Sig del principio de tercio excluso
Una prop es V/F , no existe una tercera posibilidad
Sig del principio de no contradicción
Una prop no puede ser V y F al mismo tiempo
Equivalencias notables
DN Idemp Conmut Asoc DM Def-> Def Transp Dist-Fact
Implicaciones notables
MPP MTT SHP SD Adic Simp Conj
Cómo se puede demostrar?
Se puede demostrar a partir de axiomas (esquemas axiomáticos) o a partir de enunciados contingentes (derivación o deducción natural)
Que exige demostrar?
.Exige siempre partir de los 3 principios clásicos
.Exige seguir una secuencia de pasos
Métodos de derivación
.Prueba Directa
.Prueba por Redux al Absurdo
.Prueba Condicional
