lunes, 27 de junio de 2011
PONENDO PONES
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
- Si A, entonces B
- A
- Por lo tanto, B
- TODOS LOS HOMBFRES SON INFILES ENTONCES NINGUNO ES FELIZ
- SON HOMBRES
- SON SON FELICES
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 inferencia que tiene la siguiente forma:
SI NO SON DIFICILES
NO SON MUJERES
- si A entonces B
- No B
- Por lo tanto, no A
SI NO SON DIFICILES
NO SON MUJERES
Suscribirse a:
Entradas (Atom)