Lógica para la toma de decisiones

Integrantes: Profesor: Grupo:

Asiria Misael Jiménez Guízar José Luis Cisneros 448
Emmanuel González Reyes González

Paulina Nevarez Serrano

MÉTODO: TABLAS DE VERDAD
 Argumento:
Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o
Juan no partirá para Japón. O María no se queda en Venecia o Rosa no viajará a
Luxemburgo. Por consiguiente, María no se queda en Venecia.
MÉTODO: TABLAS
DE VERDAD
MÉTODO: TABLAS
DE VERDAD.
 EJERCICIO:
 [(A→B)^A]→B

MÉTODO: TABLAS
DE VERDAD.
MÉTODO: DIAGRAMAS DE VERDAD.
 Demostramos la validez o invalidez de un argumento asignando valores de verdad
a las proposiciones atómicas que lo constituyen. Si hubiera algún caso en que se
infiera una conclusión falsa de premisas verdades el argumento es inválido.
 Ejemplo 1: O el día está nublado o está soleado. Si el
día está nublado entonces jugaremos dominó. Si el día MÉTODO:
está soleado entonces jugaremos fútbol. Por lo tanto, o
jugaremos dominó o jugaremos fútbol. Al simbolizar:
DIAGRAMAS DE
1) P V Q 2) P --> R 3) Q --> S 4) R V S VERDAD.
 Ejemplo 2: Si trabajas entonces podrás comprarte tu
automóvil. Trabajaste. Por lo tanto, compraste tu
automóvil. Al simbolizar: 1) P-->Q 2) P 3) Q
MÉTODO:
DIAGRAMAS DE
VERDAD.
 Ejercicio 1: O Laura tiene un iPhone o tiene un
Samsung Laura no tiene un iPhone. Por lo tanto Laura
tiene un Samsung.
MÉTODO:
DIAGRAMAS DE
 Ejercicio 2: Todas las tostadoras están hechas de oro. VERDAD.
Todos los artículos hechos de oro son aparatos para
viajar en el tiempo. Por lo tanto, todas las tostadoras
son aparatos para viajar en el tiempo.
MÉTODO DE REDUCCIÓN AL ABSURDO POR
ASIGNACIÓN DE VALORES DE VERDAD.
Una fórmula es una premisa cualquiera de un
argumento o su conclusión. REDUCCIÓN AL
Un caso de prueba de validez de un argumento ABSURDO POR
consiste en una asignación suficiente (no ASIGNACIÓN DE
necesariamente completa) de valores veritativos a las VALORES DE VERDAD.
letras proposicionales de las fórmulas de un argumento
(premisas y conclusión), tal que dicha asignación
permita asignar un valor definido -verdadero (V), o
falso (F), o verdadero-y-falso (V/F)- a cada una de tales
fórmulas.
 Una asignación mínima es una asignación de
valores veritativos a las letras proposicionales de una REDUCCIÓN AL
fórmula que la verifica, o la falsifica, de acuerdo con la
hipótesis de que ésta es V, o F, siguiendo el ABSURDO POR
expediente de asignar un valor sólo a aquéllas letras ASIGNACIÓN DE
que resulte suficiente hacerlo (quizá no a todas) a fin VALORES DE VERDAD.
de poder verificar o falsificar tal fórmula. V. g., basta
con asignar V a un disyunto cualquiera, o a un
consecuente, para verificar la disyunción, o el
condicional, del que aquél forme parte; asimismo,
basta con asignar F a un conyunto cualquiera, o a un
antecedente, para falsificar la conjunción, o verificar
el condicional, del que aquél forme parte.
 Una asignación unívoca es la asignación única
posible, si la hay, de valores veritativos a las letras REDUCCIÓN AL
proposicionales de una fórmula que la verifica, o la
falsifica, de acuerdo con la hipótesis de que ésta es V, ABSURDO POR
o F. Así, son unívocas las asignaciones que verifican ASIGNACIÓN DE
una conjunción y una negación y las que falsifican una VALORES DE VERDAD.
negación, una disyunción y un condicional; siempre y
cuando lo que figure en tales conjunciones,
negaciones, disyunciones y condicionales sean letras
simples, i. e., siempre y cuando lo que figure en
aquéllas no incluya, a su vez, más conectivas y letras.
Las asignaciones unívocas son deseables porque
abren casos únicos de prueba de validez en los
argumentos.
 Una asignación equívoca es una asignación posible
entre otras, si las hay, de valores veritativos a las letras REDUCCIÓN AL
proposicionales de una fórmula que la verifica, o la
falsifica, de acuerdo con la hipótesis de que ésta es V, ABSURDO POR
o F. Así, es equívoca cualquiera de las asignaciones ASIGNACIÓN DE
que verifican una disyunción (3 asignaciones), un VALORES DE VERDAD.
condicional (3 asignaciones) y un bicondicional (2
asignaciones) y las que falsifican una conjunción (3
asignaciones) y un bicondicional (2 asignaciones). 1
Las asignaciones equívocas, aunque a veces son
necesarias, no son deseables porque abren casos
múltiples de prueba de validez en los argumentos (los
incluidos entre paréntesis para cada conectiva).
 https://teoriadelaargumentacionjacr.blogspot.com/20
16/01/la-validez-logica-de-los-
argumentos.html?m=1&fbclid=IwAR1Jy35jecKBm4pft
6oB0zhN2cNvL8KliA3EgXkHXmqhfKJ4zPhZwALiTcI
 https://fidesetratiomx.wordpress.com/2015/12/01/val
idez-y-solidez-en-los-argumentos-o-silogismos/
 https://es.scribd.com/document/346083277/Evaluaci
on-Del-Argumento-Por-Tablas-de-Verdad