Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A B
La verdad formal es aquella que se obtiene evaluando
esquemas moleculares haciendo uso de reglas de
V V V
conectores lógicos y tabla de verdad.
V V F
F F V
REGLA DE LOS CONECTORES LÓGICOS
F V F
1. El Negador
7. El Biimplicador
Si una proposición es verdadera, su negación es
Es verdadera cuando todos sus componentes
falsa y viceversa.
son iguales. Es falso si sus componentes tienen
valores diferentes.
A –A
V F A B
F V
V V V
2. El Conjuntor V F F
Una proposición conjuntiva es verdadera sólo F F V
cuando cada uno de sus componentes es F V F
verdadero. Es falso cuando por lo menos uno de
sus componentes es falso. Resumen
Cuadro de conectores
A B
p q -p -q pq pq
V V V V V F F V V
V F F V F F V F V
F F V F V V F F V
F F F F F V V F F
A B 4. Resumen:
: VV = V
V V V
V V F : FF = F
F F V
F F F : VF = F
4. El Disyuntor Fuerte : FV = F
Una proposición disyuntiva fuerte es verdadera sólo
cuando sus componentes tienen valores diferentes. :
Es falso que si sus componentes tienen valores
VV
iguales. FF = V
: VV
FF = F
A B : FF = V
V F V / : VV = F
V V F
F V V – : -V = F
F F F -F = V
7. Si el esquema formal:
(p q) [(r q) / (p s)]
Es VERDADERO.
El valor de las variables p, q, r, y s es:
A) 1101 B) 1010 C) 0101
D) 1001 E) 0011