PENSAMIENTO LOGICO MATEMATICO

Unidad 3: Paso 6 - Métodos para probar validez de argumentos

Presentado por:
Raul Andres Mendez Aristizabal. CÒDIGO: 1113041088

Grupo: 200611_425

Presentado a:
JOHN JAIRO GETIAL
TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD PALMIRA
MAYO DEL 2018
 Introducción
En la realización del siguiente trabajo podremos identificar la conceptuación, análisis y
argumentación de forma adecuada de los procedimientos de la conceptualización de las
reglas de inferencia, problemas de aplicación y razonamiento deductivo e inductivo.
OBJETIVOS
General: Desarrollar las actividades planeadas en la guía de actividades.

Específicos.

 Interactuar y opinar sobre los ejercicios desarrollados por los compañeros

 Adquirir herramientas útiles para nuestra vida profesional.
 Desarrollo de ejercicios
TAREA 1 PUNTO A.

https://prezi.com/view/y2yq9xfOWpJOfBIyi9RE/

TAREA 2 PUNTO B

En Colombia nos encontramos en proceso de campaña presidencial y uno de los temas a

tratar son el pago de horas extras, así: Si la ley no fue aprobada, entonces el pago de las
horas queda como estaba. Si el pago de las horas queda como estaba, entonces no debemos
trabajar más horas extras. Debemos trabajar más horas extras o el proyecto se retrasará un
mes. El proyecto no se retrasará un mes. Por tanto, la ley fue aprobada

P. La ley fue aprobada

Q. El pago de las horas queda como estaba
R. Debemos trabajar más horas extras
S. EL Proyecto se retrasara un mes

P1= Si la ley no fue aprobada, entonces el pago de las horas queda como estaba. (p→q)

P2= si el pago de las horas queda como estaba, entonces no debemos trabajar más horas
extras. (Q→~R)

P3= Debemos trabajar más horas extras o el proyecto se retrasará un mes. (RvS)

P4= El proyecto no se retrasará un mes. Por tanto, la ley fue aprobada. (~S→P)

[ ((P→Q) ˄ (Q→~R)) ˄ (RvS) ] → (~S→P)

Simulador truth table.

Tabla de la verdad manual

p q r s ~r ~s (p→q) (rvs) q→~r ~s→p ((p→q) ˄ (q→~r) ) ((p→q) ˄ (q→~r) ) ˄ (rvs) ((p→q) ˄ (q→~r) ) ˄ (rvs)) →(~s→p)
v v v v f f v v f v f f v
v v v f f v v v f v f f v
v v f v v f v v v v v v v
v v f f v v v f v v v f v
v f v v f f f v v v f f v
v f v f f v f v v v f f v
v f f v v f f v v v f f v
v f f f v v f f v v f f v
f v v v f f v v f v f f v
f v v f f v v v f f f f v
f v f v v f v v v v v v v
f v f f v v v f v f v f v
f f v v f f v v v v v v v
f f v f f v v v v f v v f
f f f v v f v v v v v v v
f f f f v v v f v f v f v

Cordial saludo tutor, En la anterior tabla existe solo una respuesta que es falsa y el resto son
verdaderas, asi que estoy confundido pues creo que la conclusión es falsa por lo tanto el
razonamiento no es válido, ya que deberían ser todas verdaderas para que sea válido, no sé
si estoy mal. Me excuso si estoy mal, pues me enrede en esta conclusión.
TAREA 3 PUNTO C

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

argumentado la respuesta con sus propias palabras

De todos los seres que pueblan la Tierra, los seres humanos son los más nocivos para el
ecosistema. En efecto, ellos destruyen anualmente millones de hectáreas de bosques y son
los directos culpables de la desaparición masiva de fuentes de agua potable.

El razonamiento aplicado en este punto es deductivo ya que un razonamiento es deductivo

si la conclusión se sigue necesariamente de las premisas. Cuando se deriva necesariamente
de las premisas es válido y si es válido, significa que, siendo las premisas verdaderas, las
conclusiones, también lo serán, en conclusión nos afirman con hechos reales de que los
seres humanos somos los más nocivos para el ecosistema en el que vivimos.
CONCLUSIONES

Se Desarrolló satisfactoriamente las temáticas de proposiciones y tablas de verdad

propuestas en la guía de actividades, también se utilizó una gran herramienta de trabajo
llamada truth table, herramienta la cual nos brinda aportes positivos en la realización de las
proposiciones vistas en la guía y así, saber si coinciden las respuestas de la tabla manual y
la de truth table.
Bibliografia.

http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=
30

http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?docID=4569631&ppg=9
1