14 PRINCIPIOS ADMINISTRATIVOS DE FAY

Mg. Lourdes Ruiz Lavado

Tablas de verdad
Es una gráfica en forma de cruz que sirven para evaluar esquemas
moleculares. Este esquema muestra cómo valores de verdad de
proposiciones compuestasdependen de los conectivos usados y de
los valores de verdad de las proposiciones componentes simples (
Smith, K.,pp. 13)
Una tabla de verdad tiene elementos estos son:
Variables
Esquema molecularA B ( A → B )  ( ¬A V B)
V V
V
V
F V V
V F
F
V
F F F
Arreglos
F V
V
V
V V V
F F
V
V
V V F
Matríz principal

 Primero: Identificar el conector de mayor jerarquía, y si elcaso lo requiere determinarlo con ayuda de signos de
agrupación. Para el ejemplo: ( A → B )  ( ¬ A V B )
 Segundo : Identificar el número de variables que tiene el
esquema molecular (sin tomar encuenta las repeticiones
de las variables)
 Tercero: Para hallar el número de arreglos por columna,
hacemos uso de la fórmula:
2 n = Número de arreglos por columna.
Donde:
2 : Son los valoresverdadero ( v ) y falso ( F ) que se van a
combinar.
n : El número de variables con los que cuenta el esquema
molecular.

Para el ejemplo

( A → B )  (¬ A V B )
2² = 4 arreglos por columnaEstos 4 arreglos deben ser distribuidos para cada variable, de
tal manera que lleguemos a un valor intercalado para cada
variable, como en el esquema:

Esta cantidad debe repartirse en mitades:
VV
V
F
F
V
F
F
valores para A
valores para B

Ejemplo: Dado el esquema: A → ( B V C )
n=3
Tenemos: 2³ = 8
Repartiendo sucesivamente 8:

V
V
V
V
F
F
F
F
Valores para

V
V
FF
V
V
F
F

V
F
V
F
V
F
V
F

A

B

C

REGLAS DE LOS CONECTORES
CONJUNTOR
A B
VV
VF
FV
F F

A & B
V
F
F
F

REPLICADOR
A B
V
V
F
F

V
F
V
F

A ←B
V
V
FV

DISYUNTOR DEBIL
A B
VV
V F
F V
F F

A V B
V
V
V
F

BIIMPLICADOR
A B
V
V
F
F

V
F
V
F

A ↔B
V
F
F
V

IMPLICADOR
A B
V
V
F
F

V
F
V
F

A →B
V
F
V...