Por ejemplo:
C = ~A.
El resto de los conectores lógicos principales necesitan estar junto a otros dos
proposiciones como mínimo para que la nueva proposición molecular tenga significado
lógico
Por ejemplo:
A^B
AvB
A→B
A ~A
0 1
1 0
La cantidad de filas para asignar los valores de las proposiciones depende del número
total de casos posibles de los valores que pueda tomar cada proposición, donde estos
valores son “0” o “1”. Por tanto el número de filas por utilizar es 2n , donde n es el
número de proposiciones.
El procedimiento para llenar los valores de verdad de las proposiciones atómicas (A, B),
es llenarlo de tal forma que los números que resulten de unir los dígitos de los valores
de verdad den cómo resultado la numeración de los naturales escritos en base binaria a
partir del uno.
*En A→B el valor diferente se presenta cuando A=1 ^ B=0 (Cuando forma un “10”)
Es importante mencionar que existen algunos conectores lógicos derivados como el “sí
solo si”:
A↔B = (A→B) ^ (B→A)
Ejercicio 2:
BvC B^C A B C Av(B^C) A^(B^C) Av(BvC) A→(B^C)
0 0 0 0 0 0 0 0 1
1 0 0 0 1 0 0 1 1
1 0 0 1 0 0 0 1 1
1 1 0 1 1 1 0 1 1
0 0 1 0 0 1 0 1 0
1 0 1 0 1 1 0 1 0
1 0 1 1 0 1 0 1 0
1 1 1 1 1 1 1 1 1
:
Ejercicio 3:
A B C A→(B→C) A↔(B^C) B→(C→A) C→(B↔~A) B→C B^C C→A B↔~A
0 0 0 1 1 0 1 1 0 1 0
0 0 1 1 1 0 0 1 0 0 1
0 1 0 1 1 0 1 0 0 1 1
0 1 1 1 0 0 1 1 1 0 0
1 0 0 1 0 1 1 1 0 1 0
1 0 1 1 0 0 1 1 0 1 1
1 1 0 0 0 0 1 0 0 1 1
1 1 1 1 1 0 0 1 1 1 0
Ejercicio de aplicación 1:
P Q P^Q PvQ (P^Q)→~(PvQ)
0 0 0 0 1
0 1 0 1 1
1 0 0 1 1
1 1 1 1 0
Ejercicio de aplicación 2:
P Q R P→Q (P→Q)→R
0 0 0 1 0
0 0 1 1 1
0 1 0 1 0
0 1 1 1 1
1 0 0 0 1
1 0 1 0 1
1 1 0 1 0
1 1 1 1 1