Please enable JavaScript.
Coggle requires JavaScript to display documents.
Regla de Inferencia Logica, Las Reglas de inferencia están divididas en:,…
Regla de Inferencia Logica
Son esquemas modelados en base a la implicación de la conclusión a partir de las premisas. Permiten determinar nueva información a partir de las premisas existentes.
Las Reglas de inferencia están divididas en:
Condicional
Modus Ponendo Ponens (PP)
Si la primera premisa es un condicional y la segunda es su antecedente, entonces es valida la inferencia que afirma el consecuente como conclusión. Su Fórmula es
(P --> Q), P / Q
Modus Tollendo Tollens (TT)
La negación del consecuente puede ser otra premisa, por lo tanto esta puede negar el antecedente. Su fórmula es
(P --> Q), P / Q
Silogismo Hipotético (SH)
Se dan dos implicaciones de las cuales el antecedente de una puede ser el consecuente de una implicación anterior. Su fórmula es
[ (P --> Q), (Q --> R)] / (P --> R)
Negación
Doble Negación (DN)
Si se niega una premisa anteriormente negada, entonces esta pasa a ser una afirmación. Su fórmula es
~ (~ P) / P
Conjunción
Simplificacion (S)
Esta ley indica que se pueden simplificar dos proposiciones aplicando las reglas de inferencia para condicionales.
Unión (U)
Si se tiene como premisas las proposiciones P y Q, entonces se puede concluir que Q es la conjunción de las proposiciones P Λ Q.
Su formula es
P, Q == P Λ Q
Disyunción
Modus Tollendo Ponens (TP)
Si una disyunción de premisas es cierta y una de estas es falsa entonces la otra premisa es cierta. Su fórmula es
[ (P V Q) , ~ Q] / P
Adición (AD)
Si se tiene una proposición que es verdadera, entonces la disyunción de esta y cualquier otra será verdadera. Su fórmula es:
P / (P V Q)
Miguel Ignacio Borges Dugarte
C.I: 30.092.206
Ingeniería de Sistemas