Tarea 2

a. Supongamos que tenemos el argumento Si no compramos una parcela,

entonces construimos una casa. Si construimos una casa, no compramos
un apartamento. Si no compramos un apartamento entonces
compramos muebles. No compramos una parcela. No compramos
muebles o compramos un apartamento. Por lo tanto, compramos un
apartamento.

No compramos una parcela = p

Construimos una casa = q
No compramos un apartamento = r
Entonces compramos muebles = s

{[(p q) (r s)] [(p s) r]} r

Tabla de la verdad

2n = 24 =16
S {[(
p
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F
V
V
F
V

q
)
V V
V V
V V
V V
V F
V F
V F
V F
V V
V V

(
r
V
F
V
F
V
V
F
V
V
F
V
F
V
V
F
V
V
F
V
F

s)
]
V V
V F
V V
F F
V V
V F
V V
F F
V V
V F

V
F

v
V

V
V

V
V

V
F

V
V

V
F

V V

V F

1
2
3
4
5
6
7
8
9
1
0
11
1
2
1
3
1
4
1
5
1
6

V
V
v
V
V
V
V
V
F
F

V
V
V
V
F
F
F
F
V
V

V
V
F
F
V
V
F
F
V
V

F
F

V F
V F

s
)
F F
F V
F F
F V
F F
F V
F F
F V
F F
V V

r]}

V
V
F
F
V
V
F
F
V
V

[(
p
F
F
F
F
F
F
F
F
V
V

V
V
F
F
V
V
F
F
V
V

V
V
F
F
V
V
F
F
V
V

V
V
V
V
V
V
V
V
V
V

V
F

F
F

V
V

F
V

F
V

F
V

F
F

V F
V F

V V

V V

V F

F F

V
V
F
F
V
V
F
F
V
V

Modus ponendo ponens

Reglas de transformacin
Lgica proposicional
Reglas de inferencia

Modus tollendo tollens / ponens

Modus ponendo ponens / tollens

Introduccin / eliminacin del bicondicional

Introduccin / eliminacin de la conjuncin

Introduccin / eliminacin de la disyuncin

Silogismo disyuntivo / hipottico

Dilema constructivo / destructivo

Absorcin
Reglas de reemplazo

Asociatividad

Conmutatividad

Distributividad

Doble negacin

Leyes de De Morgan

Transposicin

Implicacin material

Exportacin
Tautologa
Introduccin de la negacin

Lgica predicativa

Generalizacin / instanciacin universal

Generalizacin / instanciacin existencial

Lgica modal

El modus ponendo ponens (latn: "el modo que, al afirmar, afirma"1, tambin llamado modus
ponens,1 2 3 4 eliminacin de la implicacin o regla de separacin, y generalmente
abreviado MP) es una forma de argumento vlido y una regla de inferencia en lgica
proposicional.5 Se puede resumir como "si P implica Q; y P es verdad; entonces Q tambin es
verdad."6 La historia del modus ponendo ponens se remonta a la antigedad.7
El modus ponendo ponens pueden establecerse formalmente como:
donde la regla es cuando "P Q" y "P" aparezcan por s mismos en una misma lnea de
una prueba lgica, Q puede ser escrito vlidamente en una lnea subsiguiente. Ntese que
la premisa de P y la implicacin se "disuelven", siendo su nico rastro el smbolo Q que se
mantiene para su uso posterior, por ejemplo, en una deduccin ms compleja.
Un ejemplo de modus ponendo ponens es:
Si est lloviendo, te espero dentro del teatro.
Est lloviendo.
Por lo tanto, te espero dentro del teatro.
Si bien el modus ponendo ponens es uno de los conceptos ms utilizados en
la lgica, no debe confundirse con una ley lgica. Ms bien, es uno de los
mecanismos aceptados para la construccin de pruebas deductivas que
incluye la "regla de definicin" y la "regla de sustitucin".8 Modus ponendo
ponens permite eliminar una sentencia condicional de una prueba lgica o
argumento (los antecedentes) y por lo tanto no llevar estos antecedentes
adelante en una cadena alargada y constante de smbolos. Por esta razn,
el modus ponendo ponens a veces se denomina regla de la
separacin.9 Enderton, por ejemplo, observ que "el modus ponendo
ponens puede producir frmulas ms cortas de las ms largas", 10 y Russell
seal que "el proceso de la inferencia no puede reducirse a los smbolos. Su
nico registro es la ocurrencia de Q [el consecuente]...una inferencia modus
ponendo ponens no es tanto el lanzamiento de una premisa verdadera, sino
que es la disolucin de una implicacin".11
El modus ponendo ponens est estrechamente relacionado con el modus
tollendo tollens. Estos comparten dos formas similares, pero no vlidas, de
argumento: afirmacin del consecuente y negacin del antecedente. El dilema
constructivo es la versin disyuntiva del modus ponendo ponens. El silogismo
hipottico est estrechamente relacionado con el modus ponendo ponens y a
veces se lo considera como el "ponens modus doble."

ndice
[ocultar]

1Notacin formal

2Explicacin

3Relacin con el Modus Tollens

4Justificacin mediante tabla de verdad

o

4.1Va tollendo ponens

5Vase tambin

6Referencias

7Bibliografa

8Enlaces externos

Notacin formal[editar]
La regla del modus ponendo ponens puede escribirse
en subsiguiente notacin:
donde es un smbolo metalgico que significa que Q es
una consecuencia sintctica de P Q y P en algn sistema lgico;
o como la afirmacin de una tautologa verdad-funcional o teorema de la
lgica proposicional:
donde P, y Q son proposiciones expresadas en algn sistema formal.

Explicacin[editar]
La forma de argumento tiene dos premisas (hiptesis). La primera
premisa es la "si-entonces" o reclamacin de condicional, a saber:
que P implica Q. La segunda premisa es que P, el antecedente de la
alegacin condicional, es cierto. A partir de estas dos premisas se
puede concluir lgicamente que Q, el consecuente o apdosis de la
reclamacin de condicional, tambin debe ser verdad. En inteligencia
artificial, el modus ponens usualmente se lo
denomina encadenamiento hacia adelante.
Un ejemplo de un argumento que se ajuste a la forma modus ponens:
Si hoy es martes, entonces Juan se ir a trabajar.
Hoy es martes.
Por lo tanto, Juan ir a trabajar.
Este argumento es vlido, pero esto no tiene nada que
ver con si alguna de las declaraciones en el argumento
es verdadera; para que modus ponens sea un argumento

slido, las premisas debern ser verdaderas para

cualquier instancia verdadera de la conclusin.
Un argumento puede ser vlido, pero, no obstante,
poco slido si una o ms premisas son falsas; si un
argumento es vlido y todas las premisas son
verdaderas, entonces el argumento es slido. El
argumento solo es slido los martes (cuando Juan va a
trabajar), pero es vlido en todos los das de la semana.
Un argumento proposicional usando modus ponens dice
que es deductivo.
En clculo secuencial de conclusin nica, el modus
ponens es la regla de corte. El teorema de eliminacin
del corte para un clculo dice que cada prueba que
implica Corte puede ser transformada (por lo general, por
un mtodo constructivo) en una prueba sin corte, y de ah
que el corte sea admisible.
La correspondencia de Curry-Howard entre pruebas y
programas relaciona el modus ponens a la funcin
aplicacin: si f es una funcin del tipo P Q y x es de
tipo P, entonces f x es de tipo Q.

Relacin con el Modus Tollens[editar]

Cualquier regla Modus ponens puede probarse mediante
una regla Modus Tollens y de transposicin. La prueba es
el siguiente.
1. P Q
2. P / Q
3.~Q ~P 1 Transposicin
4.~~ P 2 Doble Negacin
5.~~ Q 3,4 Modus Tollens
6. 5 Doble negacin

Justificacin
mediante tabla de
verdad[editar]
La validez del modus ponens en
la lgica clsica de dos valores
se puede demostrar claramente
demostrada utilizando una tabla
de verdad.
p

pq

En los casos de modus

ponens se asume como premisa
que p q es verdadera y p es
verdadera. Solo una lnea de la
tabla de verdad la primera
satisface estas dos condiciones
(p y p q). En esta
lnea, q tambin es verdad. Por
lo tanto, cada vez que p q sea
verdadero y p es
verdadero, q debe tambin ser
verdadero.

Va tollendo
ponens[editar]
Paso

Proposicin

Derivacin

Premisa

Premisa

Implicacin material (1)

Modus tollendo tollens (2,3)

Vase tambin[editar]

Modus Ponens (M. P) o Modus Ponendo Ponens (MPP)

Cmo interpretar esta ley?, observa el siguiente ejemplo:

Daniel escucha la siguiente afirmacin Si llueve hace fro

En la siguiente escena, Daniel observa llover, es decir llueve
Qu puede concluir Daniel? Que har fro, es decir hace fro

Para obtener tan obvia conclusin, Daniel ha utilizado la ms comn de las

inferencias lgicas, la cual denominaremos MPP Modus Ponendo Ponens.
En este ejemplo, las proposiciones simples son:

p = llueve
q = hace fro

Ejemplo 1
Las proposiciones as declaradas, nos permiten expresar en lenguaje natural lo
expresado en lenguaje simblico as:

p q que equivale a: Si llueve hace fro

As que nuestro ejemplo puede ser representado en el lenguaje simblico de la
siguiente manera:

p q

Se lee: si p entonces q

p Se lee: ocurre p

q Se lee: de donde q
El smbolo (de donde) representa la conclusin de las premisas dadas; es
decir que la conclusin, en este caso, es la proposicin q

Modus Tollens (M.T) o Modus Tollendo Tollens (MTT)

p q Se lee: si p entonces q
~ q Se lee: ocurre ~q
... ~ p Se lee: de donde ~p

Esta regla de inferencia dice que si una implicacin es verdadera y su

consecuente es falso, entonces su antecedente ser necesariamente falso;
simblicamente se expresa as:
[(p q) ~q] ~p

Ejemplo 2
Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma de los
otros dos ngulos es menor de 90.
Premisa 2: La suma de los otros dos ngulos no es menor de 90.
Conclusin: Un ngulo de un tringulo no es mayor de 90.

Simblicamente:
p: Un ngulo de un tringulo es mayor de 90.
q: La suma de los otros dos ngulos es menor de 90.
Premisa 1: p q
Premisa 2: ~ q
Conclusin: ~ p

Silogismo Hipottico (S: H)

p q Se lee: si p entonces q
q r Se lee: si q entonces r
... p r Se lee: de donde
Si p entonces r
Es un argumento que se expresa simblicamente as:

[( p q ) (q r )] ( p r )
Ejemplo 1.
Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.
Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de
volumen. Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.
Simblicamente:
Sean las proposiciones p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Premisa 1. p

Premisa 2. q

Conclusin. p

Silogismo disyuntivo (S. D) o Modus Tollendo Ponens (MTP)

pq
~p
... q
Esta ley se enuncia as:

Si una disyuncin es verdadera y una de sus proposiciones simples es falsa,

entonces necesariamente la otra proposicin ser verdadera.
Simblicamente se escribe as:
[( p V q ) ~p] ~ q o [( p V q ) ~q] p
Ejemplo 1
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o
cambia slo a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.
Simblicamente:
p: La energa de un tomo puede cambiar con continuidad
q: La energa de un tomo slo cambia a saltos
Premisa 1: p v q
Premisa 2: ~p
Conclusin: p

Dilema constructivo (D.C)

( p q) (r s )
pVr
... q V s

Absorcin (Abs)
pq
... p (q p)

Simplificacin (Simp.)

p q
... p

Conjuncin (Conj)
p
q
... p q

Adicin (Ad.)
p
... p V q