Lógica Proposicional
Tenemos los
siguientes elementos:
Variables proposicionales (P): p, q, r, . . .
Conectivos lógicos: ¬, ∨, ∧, →, ↔
Símbolos de puntuación: (, )
Cada variable proposicional representa una proposición
completa e Indivisible, que puede ser verdadera o falsa
Conectivos lógicos son usados para construir expresiones que
también pueden ser verdaderas o falsas.
Ejemplo
socrates es hombre → socrates es mortal
socrates es hombre → (¬ socrates es
mortal)
Reglas de inferencia
Modus ponendo ponens
En lógica proposicional, modus
ponendo ponens (en latín significa "la forma en que se
afirma afirmando", generalmente abreviado MP o modus ponens )
o eliminación del implica es una forma simple argumento válido y regla de inferencia. Se puede resumir como "P entonces Q; P
se afirma siendo verdad, por lo que, por tanto, Q debe ser verdad.
Modus ponendo tollens
Modus ponendo tollens (latín: "de modo que, al afirmar, niega")es una regla de inferencia válida para la lógica proposicional, a
veces abreviado MPT. Está estrechamente relacionado con el modus ponens y modus tollens.
Modus tollendo ponens
En lógica, el silogismo disyuntivo, históricamente conocido
como modus tollendo ponens (en latín, modo que negando afirma) o MTP.
Modus tollendo tollens
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.
Silogismo hipotético
silogismo
hipotético es aquel tipo de silogismo o más bien regla de inferencia que
en su expresión plantea un caso hipotético, por lo
cual puede tener términos válidos o no. En la lógica proposicional un
silogismo hipotético puede expresar una regla de inferencia.
No hay comentarios:
Publicar un comentario