Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LOGICA MATEMATICA
TRABAJO COLABORATIVO
PASO 4. METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
2016
TAREA 1: APLICACIN DE LAS REGLAS DE INFERENCIA.
Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipottico
MODUS PONENDO PONENS (PP)
En lgica, modus ponendo ponens (en latn, modo que afirmando afirma), tambin llamado
modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la
siguiente forma
El modus Ponendo ponens (MPP o MP) es el razonamiento en el cual, en la primera premisa se
plantea un condicional, en la segunda se afirma el antecedente y, como conclusin, se afirma el
consecuente.
Ejm. - 1a. premisa: Si tengo dinero entonces compro una bicicleta.
-
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a
negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.
Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia ambas de
una misma propiedad de la implicacin; la regla ponendo ponens slo nos permite afirmar si est
afirmado el antecedente (el primer trmino de la implicacin), y la regla tollendo tollens slo nos
permite negar a partir del consecuente (segundo trmino de la implicacin); ambas
consecuencias se derivan de que la implicacin es una flecha que apunta en un nico sentido, lo
que hace que slo se pueda afirmar a partir del antecedente y negar slo a partir del consecuente.
Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra (el
mismo enunciado), podemos construir una nueva implicacin cuyo antecedente sea el de aquella
implicacin cuya consecuencia sea el antecedente de la otra implicacin, y cuyo consecuente sea
el de sta ltima, cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y sta consecuencia es a su vez
causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa
segunda consecuencia, del mismo modo que, si una bola de billar roja golpea a otra bola blanca
que a su vez golpea a una bola negra, la bola roja es causa del movimiento de la bola negra.
Expresado en forma de inferencia lgica:
Ejem:
p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve
q r Si la bola blanca golpea a la bola negra, la bola negra se mueve
______________________________________________________________________
p r Si la bola roja golpea a la bola blanca, la bola negra se mueve
[(p q) (q r) ( r s) (p) (s Vr )]
r
REGLAS DE INFERENCIA.
p: Compramos una parcela
q: Construimos una casa
r: Compramos un apartamento
s: Compramos muebles
~ p => q
q => ~ r
~ r => s
~p
~svr
..
Conclusion r
Demostracion:
1.
2.
3.
4.
5.
6.
~p
=> q
q =>
~r
~ r =>
s
~p
~svr
r
Premisa
Premisa
Premisa
Premisa
Premisa
Conclusi
7.
8.
~r
9.
10.
n
M.P.P. 1,
4
M.P.P. 2,
7
M.P.P. 3,
8
M.T.P. 5,
8
TABLA DE VERDAD
a. [( ) ( ) ( )] ( )
SOLUCIN:
TABLA DE VERDAD
REGLAS DE INFERENCIA.
[( ) ( ) ( )] ( )
a.
p => q
~p => r
r => s
..
Conclusion ~p => q
Demostracion:
1.
2.
3.
4.
5.
6.
7.
8.
p =>
q
~p =>
r
r => s
~p
=>q
p
q
~p
r
premisa
premisa
premisa
Conclusi
n
M.P.P. 1,
4
M.P.P. 2,
4
M.P.P. 2,
4
M.T.P. 2,
9.
3
M.T.P. 3,
9
https://www.youtube.com/watch?v=L1jMXlWd9V0