DIAGRAMAS SEMNTICOS

Un instrumento o mtodo decisorio alternativo al de las Tablas de Verdad es el de los

Diagramas Semnticos.

Representacin de los valores de verdad

Negacin: Como ya sabemos, si una proposicin o esquema es verdadero, su negacin es

falsa y viceversa. En ese sentido la negacin, de acuerdo a los diagramas semnticos, se
representara del siguiente modo:

a) F [A]

b) V [A]

V [A]

F [A]

Que se lee:
A

A es falso si y solo si A es verdadero

A.

a) Con
variable:

A es verdadero si y solo si A es falso

respecto

una

b) Con respecto
esquema:

F [p]

V [(pq)]

V [p]

F [(pq)]

un

Conjuncin: Para que un

esquema conjuntivo sea
verdadero
ambos
miembros de la conjuncin
deben de serlo. Esto es,
basta que uno de ellos sea
falso para que dicho
esquema sea falso. Por
otro lado, en la lgica
estndar
hay
slo
2
valores de verdad; lo

verdadero y lo falso. En ese sentido tenemos dos posibilidades:

a)

F [A B]

F [A]

F[B]

b) V [A B]

V [A]
V [B]

Que se lee:
A

A B es falso, cuando cualquiera de los dos, A o B son falsos.

B.

A B es verdadero, nicamente cuando los dos, A y B son verdaderos.

El lector puede observar que en el diagrama a) los valores de verdad de ambos miembros de
la conjuncin al ser analizados son escritos de manera horizontal. Esto indica que no se
requiere que ambos miembros tengan el valor expresado (en este caso el de lo falso) sino que
basta que uno lo tenga para que todo el esquema sea falso.
En el diagrama b), en cambio, los valores de verdad de los respectivos miembros de la
conjuncin estn ordenados de manera vertical, ello indica que para que la conjuncin pueda
ser considerada como verdadera, tanto el miembro de la derecha como el de la izquierda
debern de tener el valor de verdad de lo verdadero. Los respectivos valores de cada una de
las variables proposicionales estn expresados a la izquierda de cada uno.

Este orden de diagramacin se sigue con todos los dems operadores (disyuncin, condicional
y bicondicional). Veamos una aplicacin de lo anterior:
Sea el esquema:
[(p q) (r p)] el cual se nos dice que es verdadero.
Por lo anterior tendremos que representarlo del siguiente modo:

V [(p q) (r p)]

V [(p q)]
V [(r p)]
a)

F [A B]

b) V [A B]

F [A]

V [A]

V [B]

F [B]

F [(p q)

Por otro lado:

(r p)]

F [(p q)]

F [(r p)]

Disyuncin: Una disyuncin es falsa nicamente cuando ambos miembros de ella son
falsos, en todos los dems casos es verdadera.

V [A B]

a)

V [A]

V [B]

b) F [A B]

F [A]
F [B]

A B es verdadero, cuando cualquiera de los dos, A o B son verdaderos.

C.

A B es falso, nicamente cuando los dos, A y B son falsos.

Condicional: El condicional es falso nicamente cuando el antecedente es verdadero y el

consecuente es falso.

a)

F [A B]

V [A]

b) V [A B]

F [A]

V [B]

F [B]
Bicondicional: El bicondicional es verdadero en dos casos; o bien cuando ambos
miembros del esquema son verdaderos o bien cuando ambos son falsos. En cambio si estos
tienen valores de verdad alternados entonces ser falso.
a)

V [A B]

b) F [A B]

V [A]

F [A]

V [A]

F [A]

V [B]

F [B]

F [B]

V [B]

Anlisis de esquemas moleculares a travs de Diagramas Semnticos

1 Dar un valor de verdad al esquema.
1.

En base al valor de verdad del esquema ir analizando cada miembro o sub esquemas
de este.

2.

Ir numerando, a la derecha, el orden en que se han ido analizando los esquemas y sub
esquemas.

Dado el siguiente esquema: [(p q) (r s)]

Nosotros podemos partir para el anlisis suponiendo que o es verdadero o es falso, se
recomienda optar, siempre que se pueda, por la posibilidad que menos bifurcaciones origine.
En el presente caso la mejor posibilidad es considerar el esquema como falso. Considerando
falso el esquema se tiene: F [(p q) (r s)]
Como en este caso el valor de verdad es lo falso y la conectiva principal del esquema es la
condicional, tenemos que asignarle al antecedente el valor de verdad de verdadero y al
consecuente el valor de verdad de falso.

F [(p q) (r s)] (1)

V [(pq)]
F [(rs)]
Como este esquema original ha sido el primero en ser analizado enumeramos a su derecha,
con el numero uno. Realizando el anlisis partiendo del esquema conjuntivo y que a su vez
tiene como valor de verdad lo verdadero, obtenemos lo siguiente:

F [(p q) (r s)](1)

V [(pq)] (2)

V [(pq)] (2)

V [p]

F [(rs)]

V [q]

Ahora pasamos a analizar el otro sub esquema que an nos falta:

F [(p q) (r s)] (1)

V [(pq)] (2)
F [(rs)] (3)

V [p]
V [q]
F [r]
F [s]
Es en este nivel que pasamos al cuarto paso, conocido como anlisis de ramas.
Efectuemos el anlisis de ramas:
Las "ramas" son las lneas finales que quedan al trmino del paso dos.
En el caso que estamos analizando slo hay una rama.
Rama 1: V (p), V (q), F (r), F (s)
Este anlisis de rama arroja como resultado que nuestro esquema es falso slo cuando p es
verdadero, q es verdadera y r es falso, esto es cuando estas tres variables aparecen con este valor de
verdad simultneamente.
Tenemos ahora un quinto paso: Anlisis de Estados Posibles del Mundo (E.P.M.)
En este quinto paso se realiza un anlisis de todas las posibilidades lgicas para ver en que
casos se cumple la posibilidad indicada por el anlisis de ramas. Para ello se realiza una
tabulacin de valores de verdad similar al de las Tablas de Verdad, con la nica diferencia de
que cada posibilidad es numerada puesto que representa un EPM, esto es, una posibilidad
lgica teniendo en cuenta que, desde un punto de vista lgico veritativo, cada variable
proposicional tiene slo dos posibilidades; o lo verdadero o lo falso.

EP
M

1)
2)

V
V
V
V
V
V
V
V
F
F
F

V
V
V
V
F
F
F
F
V
V
V

V
V
F
F
V
V
F
F
V
V
F

V
F
V
F
V
F
V
F
V
F
V

F
F
F
F
F

V
F
F
F
F

F
V
V
F
F

F
V
F
V
F

Luego de ello se analiza en que caso (E.P.M.) se presenta la posibilidad sealada en el

anlisis de rama.
Efectuado el anlisis slo el segundo caso o E.P.M. cumple.
Caso de rama abierta:

[A]

[B]
Una rama es abierta slo cuando no aparece en una misma lnea una misma variable
proposicional con valores de verdad diferente.
V [(p v q)] (1)

V [p]

V [q] (2)

R1
F [q]
R2
Caso de rama cerrada:

[A]

[B]
Una rama es cerrada cuando en una misma lnea aparece una o ms variables proposicionales
con valores de verdad diferentes.
V [(pp)] (1)

V [p] (2)

V [p]

F [p]

V [p] (2)

(Rama cerrada)

Esto nos indica que la rama ha sido "eliminada" y no se la cuenta en el anlisis de ramas.
Ilustraremos lo anterior con otro ejemplo. Sea:
(p v q) [(p p) v (qr)]

V {(pvq) [(pp) q]} (1)

F [(pvq)] (2)

V [( p p)(q r)] (3)

F [p]
r)]

V [(pp)] (4)

F [q]

[q

V [p]
V [p] (5)

F [p]

En el ejemplo slo hay una rama abierta por lo tanto slo ella cuenta como rama. Observe
que en el esquema de la parte derecha an queda una frmula por analizar (q r) sin
embargo no se la ha analizado. Por que? Porque una vez que se detecta una contradiccin
en una rama esta se cierra as queden aun formulas por analizar al interior de ella.
Cual es la relevancia de lo anterior? En el anlisis de ramas slo se debern de considerar
las ramas que queden abiertas. Por que? Porque una rama cerrada indica la existencia de
una contradiccin.
Si al hacer el anlisis de un esquema, todas las ramas se cierran el valor de verdad de dicho
esquema es el opuesto al valor de la hiptesis. En el caso de que ninguna o slo algunas
ramas se cierren tendremos que llegar hasta el anlisis de E.P.M. para poder determinar si es
T, o Q. A diferencia de las Tablas de Verdad donde se comienza por el operador de menor
jerarqua, en los Diagramas Semnticos el anlisis se empieza por el operador de mayor
jerarqua