PASO 6.

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

Curso
Pensamiento Lógico y Matemático

Grupo
200611-136

DUITAMA
09/05/2018
 INTRODUCCION
El siguiente trabajo lo presento con el fin de dar a conocer la solución
de problemas propuestos por la unidad métodos para probar validez de
argumentos a su vez se muestra cada paso realizado y sustentado
mediante un resultado comprobado
 OBJETIVOS

Dar a conocer los conocimientos adquiridos mediante la solución de

problemas propuestos por la materia.

Demostrar mediante tablas de verdad la comprobación de los mismos.

Comprobar con el software truth la veracidad del resultado obtenido

 PROBLEMAS DE APLICACIÓN
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→ proceso de campaña.
q→ horas extras
r→ acuerdo como estaba.
[(𝑝˄𝑞) → (⌐𝑞˄𝑟) → (⌐𝑟˄⌐𝑞)] → 𝑞
p q r (pʌq) ⌐q (⌐qʌr) ⌐r (⌐r⌐ʌq) (pʌq)→(⌐qʌr) (pʌq)→(⌐qʌr)→(⌐r⌐ʌq) (pʌq)→(⌐qʌr)→(⌐r⌐ʌq)→q
v v v v f f f f f v v
v v f v f f v f f v V
v f v f v v f f v f v
v f f f v f v v v v f
f v v f f f f f v f v
f v f f f f v f v f v
f f v f v v f f v f v
f f f f v f v v v v f

COMPROBACION CON TRUTH

Truth Table
p q r [(pΛq)→(¬ qΛr)→(¬rΛ¬q)]→q

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

[(𝑝˄𝑞) → (⌐𝑞˄𝑟) → (⌐𝑟˄⌐𝑞)] → 𝑞

En general es modus ponens o regla de la separación por que los
eventos se toman individualmente.
(⌐𝑟˄⌐𝑞) 𝑡𝑖𝑒𝑛𝑒 𝑑𝑜𝑏𝑙𝑒 𝑛𝑒𝑔𝑎𝑐𝑖𝑜𝑛
(⌐𝑞˄𝑟) 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒𝑙 𝑠𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝑑𝑖𝑠𝑦𝑢𝑛𝑡𝑖𝑣𝑜

c. 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.
SOLUCION
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.
VERDE= es deductivo por que afirma que los seres humanos somos
nocivos para el ecosistema
en efecto =incluye el postulado anterior y da una explicación a las
afirmaciones siguientes.
Y= afirma por que los seres humanos somos nocivos para el
ecosistema.
AZUL=la conjunción (y) incluye que por deducción los seres humanos
somos nocivos porque destruimos las fuentes de agua.
 CONCLUSIONES
Con este trabajo concluyo que es muy importante saber sobre las
diferentes aplicaciones de cada una de los temas tratados en esta
unidad a su vez estas nos dan pautas para desarrollar problemas de la
cotidianidad