Logica

1.6.1 Reglas de Inferencia
INFERENCIA: De premisas verdaderas se obtienen sólo conclusiones verdaderas.

Cada regla de inferencia tiene su origen en una implicación lógica. En algunos casos la implicación lógica se establece sin demostración.
|Regla |Nombre |
|p |Modus Ponens|
|p → q | |
|q | |
|p → q |Ley del silogismo |
|q → r | |
|p → q ||
|p→ q |Modus Tollens |
| | |
| p |Regla de la Conjunción |
|q | |
|p Λ q| |
|p V q |Regla del silogismo Disyuntivo |
| | |
|q | |
| → F |Regla de la contradicción|
|p | |
|p Λ q |Regla de la simplificación Conjuntiva |
|p | |
|p |Regla de la simplificación Disyuntiva |
|p V q| |
|p Λ q |Regla de la demostración Condicional |
|p → (q → r) | |
|r | |
|p → r |Regla de la demostración por casos |
|q→ r | |
|( p V q ) → r | |
|p → q |Regla del dilema constructivo |
|r → s | |
|p V r ||
|q V s | |
|p → q |Regla del dilema destructivo |
|r → s | |
|__V___ | |
|V| |





1.      REGLA DEL MODUS PONENDO PONENS
Es una regla de inferencia que permite demostrar q a partir de p( q y p.


 
PREMISA 1) Si Pedro está en el partido de Fútbol, entonces Pedro está en el estadio.
PREMISA 2) Pedro está en el partido de Fútbol.___________________________________________________
CONCLUSIÓN: Pedro Está en el estadio.
 


Simbólicamente tenemos lo siguiente:


p: Pedro está en el partido de fútbol
q: Pedro está en el estadio
Entonces:
PREMISA 1) p( q
PREMISA 2) p
__________...