Determinar la validez de un argumento utilizando tablas de verdad Para poder determinar la validez de un argumento por medio de tablas de verdad debemos seguir los pasos siguientes: 1. 2. 3. 4. 5.
Identificar cada proposición simple y la conclusión, luego escribirlas por separado bien claros. Formalizar los argumentos Organizar el argumento en forma horizontal uniendo cada premisa con el operador lógico ˄ (y). Dibujar la tabla de verdad y resolverla paso a paso. Determinar la validez del argumento. Si al finalizar la tabla todos los valores son verdaderos el argumento es valido, de lo contrario es falso.
Ejemplo: Si hace calor entonces Adriana va a nadar. Si Adriana va a nadar entonces Adriana arregla la casa después de comer. Por lo tanto, si hace calor entonces Adriana arregla la casa después de comer. p: Hace calor q: Adriana va a nadar r: Adriana arregla la casa después de comer [(p→q)˄(q→r)]→(p→r) 1 2 3 4 5 1
2
3
4
5
p
q
r
p→ q
q→ r
p→ r
1˄2
4→3
V V V V F F F F
V V F F V V F F
V F V F V F V f
V V F F V V V v
V F V V V F V v
V F V F V V V v
V F F F V F V v
v V V V V V V V
R//. El argumento es válido 22
