Professional Documents
Culture Documents
LOGICA MATEMATICA
TRABAJO COLABORATIVO
ROSMERY CASTAEDA
ANGELA MARBIHT ESCOBAR
AYDA YANET MARIN OCAMPO
N GRUPO: 90004_37
TUTOR
2016
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
INTRODUCCION
OBJETIVOS
General:
Especficos:
Desarrollar los puntos propuestos siguiendo los enlaces propuestos en el entorno del
conocimiento.
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
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
Si A, entonces B
A Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Est soleado.
Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de los
condicionales, a los que nos referamos en primer lugar.
En lgica, el modus tollendo tollens (en latn, modo que negando niega), tambin llamado modus
tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente
forma
p Luego, no llueve
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.
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
si A entonces B
No B
Por lo tanto, no A
Por ejemplo, un razonamiento que sigue la forma del modus tollens podra ser:
No es de da.
Es incorrecto puesto que podra ser mayor de edad y no tener permiso de conducir, de ah la
importancia de no confundir la implicacin (si p, entonces q) con el bicondicional (p si y solo si
q), es decir, p es condicin para que se pueda dar q, pero p no implica necesariamente q (ser
mayor de edad es condicin necesaria, pero no suficiente para tener permiso de conducir).
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
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
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:
EJEMPLOS:
1.
2.
c. Luego, si los hombres son caballeros, entonces tratan bien a las damas.
Modus Talando Ponens: Nos entrega este sistema dos premisas, en la cual una de ellas contiene
una disyuncin; en la siguiente premisa encontramos la negacin de una de las proposiciones que
est presente en la premisa disyuntiva. La conclusin ser la otra premisa que no fue negada.
P1: p V q
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
P2: p
.. q
Ejemplos:
Ej 1: Ral viene el sbado o el domingo. Ral no viene el sbado. Por lo tanto Ral viene el
domingo.
Ej 2: Hoy voy a para Zipaquir o para Tocancip. Hoy no voy a Tocancip. Por lo tanto hoy voy
a Zipaquir.
Doble Negacin: Nos indica que cuando una proposicin es negada dos veces, es equivalente a
tener la proposicin original.
Simblicamente:
(p) = p
Ejemplos:
Adjuncin: Esta ley de inferencia nos indica que cuando hay dos premisas, podemos unirlas y
generar una nueva premisa con la unin de estas aplicando la conjuncin.
Simblicamente:
P1: p
P2: q
..pq
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
Ejemplos:
Ej 2: Me gusta escuchar msica. Me gusta ver televisin. Por lo tanto, me gusta escuchar msica
y ver televisin.
a. Supongamos que tenemos el argumento Si Carolina pelea contra su EPS, tendr sus
medicamentos; y tendr buena calidad de vida, si tiene sus medicamentos. O Carolina
pelea contra su EPS, o se resigna rpidamente. Si se resigna rpidamente, la EPS
vulnerar sus derechos; y su estado de salud ser crtico, si la EPS vulnera sus
derechos. Por tanto, no tiene buena calidad de vida entonces su estado de salud ser
crtico
{(pq)(qr)(pVs)[(st)(tu)]}(ru)
P1: (p q) (q r)
P2: p v s
P3: (s t) (t u)
P4: (p q) Simplificacin P1
P5: (q r) Simplificacin P1
P6: (s t) Simplificacin P3
P7: (t u) Simplificacin P3
P8: (s u) S.H. (P6, P7)
P9: (p q) (s t) Adicin (P4, P6)
P10: (q v t) Dilema constructivo (P9, P2)
P11: (q r) (t u) Adicin (P5, P7)
P12: (r v u) Dilema constructivo (P9, P2)
P13: ~r u Implicacin Material (P12) Conclusin.
.. ~r u
Tabla de verdad.
p q r s t u {(pq)(qr)(pVs)[(st)(tu)]}(ru)
V V V V V V V
V V V V V F V
V V V V F V V
V V V V F F V
V V V F V V V
V V V F V F V
V V V F F V V
V V V F F F V
V V F V V V V
V V F V V F V
V V F V F V V
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
V V F V F F V
V V F F V V V
V V F F V F V
V V F F F V V
V V F F F F V
V F V V V V V
V F V V V F V
V F V V F V V
V F V V F F V
V F V F V V V
V F V F V F V
V F V F F V V
V F V F F F V
V F F V V V V
V F F V V F V
V F F V F V V
V F F V F F V
V F F F V V V
V F F F V F V
V F F F F V V
V F F F F F V
F V V V V V V
F V V V V F V
F V V V F V V
F V V V F F V
F V V F V V V
F V V F V F V
F V V F F V V
F V V F F F V
F V F V V V V
F V F V V F V
F V F V F V V
F V F V F F V
F V F F V V V
F V F F V F V
F V F F F V V
F V F F F F V
F F V V V V V
F F V V V F V
F F V V F V V
F F V V F F V
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
F F V F V V V
F F V F V F V
F F V F F V V
F F V F F F V
F F F V V V V
F F F V V F V
F F F V F V V
F F F V F F V
F F F F V V V
F F F F V F V
F F F F F V V
F F F F F F V
SOLUCIN:
[(p q) (q r) ( r s) (p) (s Vr )] r
REGLAS DE INFERENCIA.
r: Compramos un apartamento
s: Compramos muebles
~ p => q
q => ~ r
~ r => s
~p
~sv
CONCLUSION R
DEMOSTRACION:
1. ~ p => Premisa
q
2. q => ~ Premisa
r
3. ~ r => Premisa
s
4. ~p Premisa
5. ~svr Premisa
6. r
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
Conclusin
7. q M.P.P. 1, 4
8. ~r M.P.P. 2, 7
9. s M.P.P. 3, 8
10. r M.T.P. 5, 8
TABLA DE VERDAD
p q r s ~p ~r ~s (~p -> q) (q ->~r) (~r ->s) (~s V r) (~p -> q)^(q ->~r) [(~p -> q)^(q ->~r)]^(~r ->s) [(~p -> q)^(q ->~r)^(~r ->s)]^(~p) [(~p -> q)^(q ->~r)^(~r ->s)^(~p)]^(~s V r) [(~p -> q)^(q ->~r)^(~r ->s)^(~p)^(~s V r)]->r
V V V V F F F V F V V F F F F V
V V V F F F V V F V V F F F F V
V V F V F V F V V V F V V F F V
V V F F F V V V V F V V F F F V
V F V V F F F V V V V V V F F V
V F V F F F V V V V V V V F F V
V F F V F V F V V V F V V F F V
V F F F F V V V V F V V F F F V
F V V V V F F V F V V F F F F V
F V V F V F V V F V V F F F F V
F V F V V V F V V V F V V V F V
F V F F V V V V V F V V F F F V
F F V V V F F F V V V F F F F V
F F V F V F V F V V V F F F F V
F F F V V V F F V V F F F F F V
F F F F V V V F V V V F F F F V
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
a. [( ) ( ) ( )] ( )
SOLUCIN:
TABLA DE VERDAD
p q r s ~p ~q (p -> q) (~p -> r) (r -> s) (~q -> s) (p -> q)^(~p -> r) [(p -> q)^(~p -> r)]^(r -> s) [(p -> q)^(~p -> r)^(r -> s)]->(~q -> s)
V V V V F F V V V V V V V
V V V F F F V V F V V F V
V V F V F F V V V V V V V
V V F F F F V V V V V V V
V F V V F V F V V V F F V
V F V F F V F V F F F F V
V F F V F V F V V V F F V
V F F F F V F V V F F F V
F V V V V F V V V V V V V
F V V F V F V V F V V F V
F V F V V F V F V V F F V
F V F F V F V F V V F F V
F F V V V V V V V V V V V
F F V F V V V V F F V F V
F F F V V V V F V V F F V
F F F F V V V F V F F F V
REGLAS DE INFERENCIA.
a. [( ) ( ) ( )] ( )
p => q
~p => r
r => s
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
CONCLUSION ~p => q
DEMOSTRACION:
1. p => premisa
q
2. ~p => r premisa
3. r => s premisa
4. ~p =>q
Conclusin
5. p M.P.P. 1, 4
6. q M.P.P. 2, 4
7. ~p M.P.P. 2, 4
8. r M.T.P. 2, 3
9. s M.T.P. 3, 9
b.{( ) ( ) [( ) ] ( )}
q: Ser un profesional
s: Ingeniera de alimentos
q: no ser profesional
. [( ) ( ) ( ) ( ) ( ) ( )]
P1: (pq)
P2: (r s)
P3: (rt)
P4: (q)
P5: (ut)
P6: (sp)
P7: (sq) S.H. (p1, p7)
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
.. t
[(pq)(rVs)(rt)(q)(u
q r s t u
t)(sp)]t
T
T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
T F F F T F T
T F F F F T T
T F F F F F T
F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
F F F F F F T
TAREA 4:
Premisa mayor: Todos los hijos de Martha y Renzo tienen ojos color verde
Conclusin: El hijo que esperan Renzo y Martha tiene los ojos color verde.
Cada estudiante del grupo colaborativo debe plantear una situacin, donde se evidencie un
razonamiento deductivo y otra situacin para el razonamiento inductivo, argumentando con sus
propias palabras el argumento planteado
Razonamiento deductivo.
Todos los paisas son pujantes, Mauricio es paisa, por lo tanto Mauricio es pujante.
Razonamiento Inductivo.
Carlos es responsable
Luis es responsable
Gloria es responsable
Ayda es responsable
Por lo que todas las personas son responsables
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
CONCLUSIONES
REFERENCIAS BIBLIOGRAFICAS
Lpez, N. C., Moreno, S., Gutirrez, F., & Madruga, J. A. G. (1998). Modelos mentales en
conjunciones, disyunciones y condicionales: Replicacin de un estudio de Rips. In I Jornadas de
Psicologa del Pensamiento:(actas): Santiago de Compostela, 22-23 de junio, 1998 (pp. 39-56).
Servicio de Publicaciones.
http://docencia.udea.edu.co/cen/logica/
http://www.zweigmedia.com/MundoReal/logic/logic6.html
PASO 4 MTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
BIBLIOGRAFIA
http://es.slideshare.net/erikanaranjo1/lgica-matematica-28257514
https://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos
https://matematicapositiva.wordpress.com/2015/01/31/logica-matematica-conectivos-logicos/
https://es.wikipedia.org/wiki/Modus_tollendo_tollens
http://ejerciciode.com/ejemplos-de-razonamiento-inductivo-y-de-razonamiento-deductivo/