Lgica matemtica

Aporte trabajo colaborativo paso 4

Mtodos para probarla validez de argumentos

PRESENTADO POR
Yuly Marley Daz Quintero
Cd. 1012361933
Presentado a:
lvaro Bastidas

Universidad Nacional Abierta Y A Distancia

ECACEN
CEAD: JAG
Junio 2017
Tarea 1: Aplicacin de las reglas de inferencia.
a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos
Hipottico:
Leyes de La Lgica:
Una proposicin lgica, compuesta por varias proposiciones representadas con letras y unidas
entre s con smbolos lgicos, que tenga la propiedad de que cuando se reemplazan las letras por
proposiciones reales siempre resulta verdadera aunque algunas o todas esas proposiciones sean
falsas, es lo que se l lama una LEY LGICA.

Son expresiones formales o frmulas Proposicionales cuya funcin veritativa es una tautologa que
se utiliza para organizar un clculo axiomtico.

Principios Lgicos Bsicos:

En el clculo de inferencia es necesario tener en cuenta los siguientes principios lgicos.

1- Identidad: esta ley permite hacer equivalencia entre dos proposiciones de un mismo argumento.

2- No contradiccin: una proposicin no puede ser simultneamente verdadera y falsa: p p.

3- Tercer excluido: una proposicin es verdadera o es falsa.

p V p.

4- Doble negacin: una proposicin afirmativa equivale a la misma proposicin negada dos veces.

LEYES DE INFERENCIA: Las leyes de inferencia que corresponden a formas de razonamiento

elementales cuya validez es fcil de demostrar

MODUS PONENDO PONENS (MPP)

p q, p q

El condicional o implicacin es aquella operacin que establece entre dos enunciados una relacin de causa-efecto. La regla
ponendo ponens significa, afirmando afirmo y en un condicional establece, que si el antecedente (primer trmino, en este caso p)
se afirma, necesariamente se afirma el consecuente (segundo trmino, en este caso q).

p entonces q Si llueve, entonces las calles se mojan (premisa)

p Llueve (premisa)
q Luego, las calles se mojan (conclusin)
 2. MODUS TOLLENDO TOLLENS (MTT)

p q, q p

Tollendo Tollens significa negando, niego, y se refiere a una propiedad inversa de los
condicionales, a los que nos referamos en primer lugar.

p entonces q Si llueve, entonces las calles se mojan

q Las calles no se mojan

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 tollensslo 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

SILOGISMO DISYUNTIVO (DS)

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos miembros sean
los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de
disyuncin, cuyos miembros seran los consecuentes de las dos implicaciones. Lgicamente, si
planteamos una eleccin entre dos causas, podemos plantear una eleccin igualmente entre sus
dos posibles efectos, que es el sentido de esta regla.

p entonces q Si llueve, entonces las calles se mojan

r entonces s Si la tierra tiembla, los edificios se caen

p V r Llueve o la tierra tiembla

q V s Las calles se mojan o los edificios se caen

Tarea 2: Problemas de aplicacin I

a. El consejo directivo de una Universidad, preocupado por el nmero de

estudiantes sin matricular, realiza un anlisis de este fenmeno y
encuentra la siguiente situacin. Si se suben las matrculas, habr
retiros masivos. Si hay retiros masivos, entonces el rector debe
replantear el aumento en las matrculas o la universidad se cerrar. Si la
universidad se cierra, el rector ser el responsable. El rector no
replantear el aumento en las matrculas y el rector no ser despedido.
En consecuencia, no subirn las matrculas.

P= si suben las matriculas

Q = habrn retiros masivos

R=la universidad cerrara

S= el rector ser responsable

T= el rector ser despedido

U= no subirn las matriculas

{(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
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
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
Uso del simulador Truth Table.
Tarea 3: Problemas de aplicacin II

a. [[( ) ( )] [( ) ] ( )]

Supongamos que tenemos el argumento, si estudio en la Unad entonces ser un

profesional; y estudiare administracin de empresas o sicologa; y por lo que estudiare
administracin de empresas entonces, alcanzare mis metas propuestas y si no estudio nos
ser un profesional, y estudiando con dedicacin entonces; alcanzare mis metas propuestas
y si estudio sicologa entonces estudio en la Unad entonces alcanzare mis metas
propuestas.

Uso de las reglas de inferencia.

p: Si estudio en la Unad

q: Ser un profesional

R: Estudiare administracin de empresas

s: sicologiqa

t: Alcanzare mis metas propuestas

u: estudiando con dedicacin

[( ) ( ) ( ) ( ) ( ) ( )]

P1: (pq)
P2: (r s)
P3: (rt)
P4: (q)
P5: (ut)
P6: (sp)
P7: (sq) S.H. (p1, p7)
P8: (sq) (rt) Adicin (P3, P7)
P9: (q v t) D.C. (P8, P2)
P10: t S.D.
.. 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
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: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,

argumentado la respuesta con sus propias palabras

a. Se sabe que en Bogot casi todos los fanticos del ftbol, son hinchas de
Millonarios, Santaf o Nacional, pero no todos. Cierto da me encuentro
con una persona en Bogot, amante del ftbol y prejuzgo, que
probablemente, con base en los conocimientos anteriores, esta persona
es hincha de Nacional.

Inductivo: porque toma una conclusin bajo una probabilidad.