Lógica simbólica

Lógica Simbólica
Expresar la lógica mediante matemáticas.
Inferencia lógica.
1.-Si Teo no entra a sus clases, entonces Teo reprueba
2.-Teo no entra a sus clases
Podemos expresarlo de manerasimbólica Teo no entra a sus clases = a, Teo reprueba = b, quedando:
1.
2.
Ahí utilizamos las 2 letras para referirnos a las proposiciones de arriba y el operador necesario para el ejemplo, en estecaso tenemos 2 premisas, la primera indica que si soy flojo y no voy a clases entonces voy a reprobar, en la siguiente premisa se afirma entonces que soy flojo y no entro a mis clases, es un hecho yase está afirmando, luego entonces entendiendo esas premisas yo puedo INFERIR que si la consecuencia de no ir a clases es que voy a reprobar y por andar de cabrón no voy a clases, entonces ¡VOY AREPROBAR! Para eso existe una regla de inferencia que voy a utilizar para llegar a esa conclusión, esta regla se llama Modus Ponens y la regla me dice que:q

Que puede leerse como “Si tienes una premisa que implica a otra, al darse por hecho una, se da por hecho la otra”
Entonces lo obvio se infiere pormodus ponens en el enunciado 1 y 2, genero un resultado 3 que queda:
3.
A mis enunciados 1 y 2 les aplico la regla del modus ponens e infiero que b.
Reglas de inferencia:
MP Modus Ponens (modo queafirmando afirma)
A → B Si tengo una premisa que implica a otra,
A y doy por hecho la primer premisa,
- - - - -
B Por MP puedo dar por hecho la segunda.
MT Modus Tollens (modo quenegando niega)
A → B Si tengo una premisa que implica a otra,
¬B y doy por hecho la negación de la segunda premisa,
- - - - -
¬A por MT puedo dar por hecho la negación de la primeraSD Silogismo Disyuntivo (modo que negando afirma)
A ∨ B tengo una premisa u otra premisa,
¬A está negada la primera premisa,
- - - - -
B puedo inferir que la segunda se da por...