Escolar Documentos
Profissional Documentos
Cultura Documentos
1
Descomponer el
lenguaje en enunciados 2 3 4
simples (proposiciones Asignar variables Simbolizar el Demostrar su
atómicas ), siempre en lenguaje natural corrección/incorrección
sentido afirmativo
4 4
Tablas de Método de la
verdad deducción
1
Descomponer el lenguaje
en enunciados simples
(proposiciones atómicas ),
siempre en sentido
afirmativo
1
Lo primero que hay que hacer es descomponer el lenguaje en enunciados
simples. ¿Cuántos enunciados simples hay en los siguientes ejemplos?
2
Ahora bien, lo que sigue es asignar variables a cada uno de los enunciados
simples. Generalmente los lógicos inician con las letras p, q, r, s, t, etc.
3
Retomando la asignación de variables hecha con anterioridad se simbolizaría
como sigue:
4
Las tablas de verdad son uno de los métodos que nos permiten discernir entre
un argumento correcto de otro incorrecto (bueno de otro malo).
Para construir la tabla de verdad seguiremos los siguientes pasos.
Pasos
Pasos
2. Al realizar la tabla nos quedan cuatro cuadrantes que numeraremos para mayor entendimiento.
1 2
3 4
Pasos
3. En el cuadrante 1 pondremos las variables de los enunciados simples. Cabe mencionar que el
orden que les demos a las variables puede ser siguiendo el orden alfabético; sin embargo, lo
importante es que siempre sigamos el orden de la primera variable.
p q r
2
3 4
Pasos
p q r [(p q) ^ (q r) ] (p r)
3 4
Pasos
p q r [(p q) ^ (q r) ] (p r)
4
Pasos
Se despeja la fórmula
2n, donde n es el
número de variables, p q r [(p q) ^ (q r) ] (p r)
en este caso: b
(2) (2) (2) = 8; lo 1
anterior considerando
que tenemos 3
variables.
2
3 4
4
5
6
7
8
Pasos
p q r [(p q) ^ (q r) ] (p r)
V
V
V
V
4
F
F
F
F
Pasos
p q r [(p q) ^ (q r) ] (p r)
V V
V V
V
V
F
F
4
F V
F V
F F
F F
Pasos
En la tercera columna, la variable
“r” puede tomar 1 vez el valor de
verdadero y 1 vez el valor de falso;
es decir, la mitad de la mitad de la
mitad y la mitad de la mitad de la
mitad hasta cubrir las 8 filas.
e
p q r [(p q) ^ (q r) ] (p r)
V V V
V
4
V F
V F V
V F F
F V V
F V F
F F V
F F F
Pasos
p q r [(p q) ^ (q r) ] (p r)
V V V
V V F
V F V
Importante
p q r [(p q) ^ (q r) ] (p r)
V V V V V V V V f
V V F V F F V F Finalmente, se requiere
poner el resultado de las
V F V F F V V V operaciones en 4. Para ello
considere lo siguiente:
V F F F F V V F
F V V V V V V V
F V F V F F V V 4
F F V V V V V V
F F F V V V V V
4
Método de la
deducción