LGICA MATEMTICA

ME TODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

Presenta
Anjelina Prado Criollo
90004A_272

Tutor
ARNOL ORTIZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

San Juan de Pasto 19 de Noviembre de 2017
 INTRODUCCION

Este trabajo hace referencia a temticas relacionadas con mtodos para probar la validez de
argumentos los cuales nos ayudaran a identificar la reglas de inferencia y razonamiento
deductivo o inductivo, adems a resolver y solucionar enunciados y demostrar la validez o
no validez del argumento a travs del uso de las tablas de verdad, de las reglas de inferencia
y del simulador Truth Table.
Actividades a desarrollar
Tarea 1: Conceptualizacin de las reglas de inferencia.
Socializar en el Foro diseado para el desarrollo de la actividad la conceptualizacin y dos
ejemplos especficos (En caso de ser extrado por alguna fuente bibliogrfica, se debe citar
correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lgica.

(Solo selecciona un grupo de los 5 mostrados e informa en el foro cual escogi, para que no
sea escogido por otro integrante), las cuales son:

a. Modus Ponendo Ponens,

Si A entonces B
A
Por lo tanto B

AB
A______
B

Ejemplo No. 1
pq Si compro, entonces reduce el dinero (premisa)
p Compro (premisa)
______________________________________
q por lo tanto reduce el dinero (conclusin)

Ejemplo No. 2

pq Si esta soleado, entonces se marchita el cultivo (premisa)

p soleado (premisa)
______________________________________
q por lo tanto se marchita el cultivo (conclusin)
Modus Tollendo Tollens,
Si A entonces B
Negacin de A
Negacin de B

AB
B_____
A

Ejemplo No. 1
pq Si compro, entonces reduce el dinero (premisa)
q no reduce el dinero (premisa)
______________________________________
p por lo tanto no reduce el dinero (conclusin)

Ejemplo No. 2
pq Si esta soleado, entonces se marchita el cultivo (premisa)
q no se marchita el cultivo (premisa)
______________________________________
p por lo tanto no est soleado (conclusin)

Silogismos Hipotticos
Si A entonces B
Si B entonces C
Si A entonces C

AB
BC
AC
Ejemplo No. 1

pq Si compro, entonces reduce el dinero

q r si reduce el dinero entonces tengo opcin a elegir
______________________________________
p r si compro entonces tengo opcin a elegir

Ejemplo No. 2

pq Si esta soleado, entonces se marchita el cultivo

q r si se marchita el cultivo entonces se acaba la produccin
______________________________________
pr Si esta soleado entonces se acaba la produccin

https://es.slideshare.net/isidorogg/modus-ponendo-ponens
https://es.scribd.com/doc/53808974/3-Ejemplos-de-Modus-Ponens-Buscar

a. Modus Tolendo Ponens, Doble Negacin y Adjuncin

b. Simplificacin, Adicin y Silogismo Disyuntivo

c. Simplificacin Disyuntiva, Absorcin y Ley de Morgan

d. Distributiva, Exportacin, y Contraposicin

Tarea 2: Problemas de aplicacin I

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento

dado a travs de:
Uso de las tablas de verdad.
Uso de las reglas de inferencia.
Uso del simulador Truth Table.

a. El paciente tuvo su cita anual con el gastroenterlogo, muy preocupado le realiz la

consulta sobre su alimentacin, as que le describi lo siguiente: Si como frijoles y
 como lentejas, entonces tendr dolor de estmago. No es cierto que si como lentejas,
me duela el estmago. Como carne o como frijoles. Si como carne, obtengo protenas.
Por lo tanto, obtengo protenas.

p: si como frijoles

q: como lentejas

r: tendr dolor de estomago

s: como carne

t: obtengo protenas

Conclusin: obtengo protenas

n5 = 25 = 32

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

Uso de las tablas de verdad.

(p ^ q (s (s (s t)
p q r s t q (qr)
q) r p) t) t}
fila 1 v v v v v f v v v v v v
fila 2 v v v v f f v v v v f v
fila 3 v v v f v f v v v f v v
fila 4 v v v f f f v v v f v f
fila 5 v v f v v f v f v v v v
fila 6 v v f v f f v f v v f v
fila 7 v v f f v f v f v f v v
fila 8 v v f f f f v f v f v f
fila 9 v f v v v v f v v v v v
fila 10 v f v v f v f v v v f v
fila 11 v f v f v v f v v f v v
fila 12 v f v f f v f v v f v f
fila 13 v f f v v v f v f v v v
fila 14 v f f v f v f v f v f v
fila 15 v f f f v v f v f f v v
fila 16 v f f f f v f v f f v f
fila 17 f v v v v f f v v f v v
fila 18 f v v v f f f v v f f v
fila 19 f v v f v f f v v f v v
fila 20 f v v f f f f v v f v f
fila 21 f v f v v f f f v f v v
fila 22 f v f v f f f f v f f v
fila 23 f v f f v f f f v f v v
fila 24 f v f f f f f f v f v f
fila 25 f f v v v v f v v f v v
fila 26 f f v v f v f v v f f v
fila 27 f f v f v v f v v f v v
fila 28 f f v f f v f v v f v f
fila 29 f f f v v v f v f f v v
fila 30 f f f v f v f v f f f v
fila 31 f f f f v v f v f f v v
fila 32 f f f f f v f v f f v f

Uso de las reglas de inferencia.

p: si como frijoles
q: como lentejas
r: tendr dolor de estomago
s: como carne
t: obtengo protenas
Conclusin: obtengo protenas

1. (p ^ q) r Premisa 1: Si como frijoles y como lentejas, entonces tendr dolor

de estmago. (MPP).
 2. (q r) Premisa 2: No es cierto que si como lentejas, me duela el estmago.
(MPP).

3. (s p) Premisa 3: Como carne o como frijoles.

sp
~p
______________
:. s (MTP)

4. (s t) Premisa 4: Si como carne, obtengo protenas. (MPP).

Conclusin: Por lo tanto, obtengo protenas

Conclusin: :. t

Uso del simulador Truth Table.

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

{[(p & q > r)] + (~q > r) + (s + p) & [(s > t) > t]}

Truth Table

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

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
 T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology

Tarea 3: Problemas de aplicacin II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinmica de la

Universidad de su rol como estudiante y demostrar la validez del argumento dado a travs
de:

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para que no sea
escogido por otro integrante)
 a. [( ) ( ) ( )] ( )

Si leo el material de estudio, puedo resolver las actividades. Pero si no ingreso a la

plataforma de la UNAD entonces no s qu tareas hay. Y una vez ledo el material de
estudio y revisado las tareas que estn pendientes. Entonces puedo resolver las
actividades y presentar las tareas.

Uso de las tablas de verdad.

p: Si leo el material de estudio

q: puedo resolver las actividades

r: ingreso a la plataforma de la UNAD

q: hay tareas

[( ) ( ) ( )] ( ) n2 = n4 =16

p q r s (p q (r (p (q ^s) (p q (rs) (p^s)

r s ) s) ^s) )^ ^ (p ^s) (q ^s)
(rs
)
V V V V F F V V V V V V V
V V V F F V V V F F V F V
V V F V V F V F V V F F V
V V F F V V V V F F V F V
V F V V F F F V V F F V F
V F V F F V F V F F F F V
V F F V V F F F V F F F F
V F F F V V F V F F F F V
F V V V F F V V F V V F V
F V V F F V V V F F V F V
F V F V V F V F F V F F V
F V F F V V V V F F V F V
F F V V F F V V F F V F V
F F V F F V V V F F V F V
F F F V V F V F F F F F V
F F F F V V V V F F V F V
 Uso de las reglas de inferencia.

b. [( ) ( ) ( )] ( )

Premisa 1: Si leo el material de estudio, puedo resolver las actividades.

(MPP) p q

Premisa 2: Pero si no ingreso a la plataforma de la UNAD entonces no s qu tareas

hay. (MTT) p q
p
_______
q

Premisa 3: una vez ledo el material de estudio de lgica matemtica y revisado las
tareas que estn pendientes. p ^ q

Ley de la adjuncin: p
q
____________
:. p ^ q

Conclusin: Entonces puedo resolver las actividades y presentar las tareas.

p: Si leo el material de estudio

q: puedo resolver las actividades

r: ingreso a la plataforma de la UNAD

q: s qu tareas hay
 a. [( > )&(~ > ~)&(&)] > (&)

Truth Table

p q r s [(pq)(rs)(ps)](qs)

T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

expression is a tautology

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
(Solo selecciona uno de los 5 casos e informa en el foro cual escogi, para que no sea
escogido por otro integrante)

a. Explica la conclusin a la que llega el personaje, de acuerdo a la caricatura. Explica

el mtodo de razonamiento (inductivo o deductivo) utilizado.

El personaje se da cuenta que su mama saldr en la noche porque se ha baado y llega a la

conclusin que le toca quedarse con Rosalyn.
El mtodo de razonamiento utilizado es el deductivo por lo que al personaje le permite de
una condicin general concluir su particularidad que es quedarse.
 CONCLUSION

Mediante este trabajo conocimos la lgica, la validez y no valides de la proposicin que

tienen los argumentos y cuando al unir las premisas llevan a una conclusin. Si la conclusin
es un resultado lgico de las premisas, se dice que el argumento es deductivamente
permitido.

Buenas noches tutor y compaeros envi el desarrollo de la actividad corregida y con los
aportes que faltaban
Gracias
ngela Barco
 WEBGRAFIA

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=
11013570&tm=1492519542738
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=
10995629&tm=1492519731065
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=20&docID=
10732485&tm=1492519941380
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID
=11046000&tm=1492520104862
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docID=
10732485&tm=1492520387992
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=196&docID
=10378216&tm=1492520562843
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=
11230887&tm=1496180214861
http://hdl.handle.net/10596/6559
http://hdl.handle.net/10596/6543
https://goo.gl/Q2QK4p
http://hdl.handle.net/10596/6548

Buenas noches compaera Damaris, envi el trabajo con los aportes de mos y de la
compaera Anjelina faltan los suyos para realizar la entrega

Gracias