La Calle
Ministerio del Poder Popular para la Educación Superior Universitaria
Universidad Alejandro de Humboldt
Curso Reingreso 201-09 N2PREII
Cátedra: LógicaProf.:
Alumnos:
Terran Eiker C.I. 20.593.968
Velásquez Elimar C.I. 19.155.840
Caracas, 09 de Octubre 2012
Reglas de Inferencia
una regla de inferencia es un esquema para construirinferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en el procesode inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es muchomás difícil y polémica.
Modus Ponendo Ponens (PP)
En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una reglade inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Ejemplo:
* si me inscribo en el registro electoral voto y elijo al nuevo presidente
Me inscribí en elregistro electoral
Por lo tanto elijo al nuevo presidente
Proposición:
* Si me deja el autobús no voy a la universidad y pierdo clase.
* Si no hay boletos, no voy al cine y no veo lapelícula.
Modus Tollendo Tollens (TT)
En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferenciaque tiene la siguiente forma:
si A entonces B
No B
Por lo tanto, no A
Ejemplo:
* Si el cambur está amarillo, entonces es maduro
No está amarrillo.
Por lo tanto, no está maduroProposiciones:
* Si paso el examen apruebo, entonces logro el objetivo
* Si llueve hay cola, entonces llegare tarde a clases
Modus Tollendo Ponens (TP)
En lógica, el silogismo disyuntivo,...
Regístrate para leer el documento completo.