9.Lenguaje En LP Flashcards Preview

Logic > 9.Lenguaje En LP > Flashcards

Flashcards in 9.Lenguaje En LP Deck (16)
Loading flashcards...
1
Q

Cómo podemos determinar con seguridad que las inferencias son válidas?

A

Tablas de verdad o diagramas semánticos

2
Q

Props de la implicación

A
.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
3
Q

Diferencias entre condicional e implicación

A

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

4
Q

Props de la equivalencia

A

Reflexiva AA
Transitiva (AB)^(BC).->.AC
Simétrica AB=BA
Con tautología AT=A

5
Q

Que son las reglas de inferencia?

A

Son las reglas de transformación de un lenguaje, se caracterizan por preservar la validez

6
Q

Cómo se agrupan las reglas de inferencia?

A

Se agrupan en:
.Implicaciones notables
.Equivalencias notables

7
Q

Principios clásicos de las reglas de inferencia

A

.Principio de Identidad
.Principio de Tercio Excluso
.Principio de No Contradicción

8
Q

Sig del principio de identidad

A

Toda proposición se implica a sí misma

9
Q

Sig del principio de tercio excluso

A

Una prop es V/F , no existe una tercera posibilidad

10
Q

Sig del principio de no contradicción

A

Una prop no puede ser V y F al mismo tiempo

11
Q

Equivalencias notables

A
DN
Idemp
Conmut
Asoc
DM
Def->
Def
Transp
Dist-Fact
12
Q

Implicaciones notables

A
MPP
MTT
SHP
SD
Adic
Simp
Conj
13
Q

Cómo se puede demostrar?

A

Se puede demostrar a partir de axiomas (esquemas axiomáticos) o a partir de enunciados contingentes (derivación o deducción natural)

14
Q

Que exige demostrar?

A

.Exige siempre partir de los 3 principios clásicos

.Exige seguir una secuencia de pasos

15
Q

Métodos de derivación

A

.Prueba Directa
.Prueba por Redux al Absurdo
.Prueba Condicional

16
Q

Cuándo una inferencia es válida?

A

Es válida si es imposible que todas las premisas sean verdaderas y la conclusión sea falsa