Ejemplo:

Evaluar el valor de verdad del siguiente esquema molecular:

B { ( p  ~ q )  [ ( r  q )  ~ r ] }  ~ q
Evaluando:

p q r {( p  ~ q )  [ ( r  q )  ~ r ]}  ~ q
V V V V F F F V F F V F
V V F V F F F V V V V F
V F V V V V F F F F V V
V F F V V V V V V V V V
F V V F V F F V F F V F
F V F F V F V V V V F F
F F V F F V F F F F V V
F F F F F V F V V V V V

1 2 1 3 1 2 1 OP 1

Por tanto al evaluar el esquema molecular y observar los valores de OP resulta

una CONTINGENCIA.

PERVISU
 Ejemplo:
Evaluar el valor de verdad del siguiente esquema molecular:

{[ ( ~ p  q )  ( q  r ) ]  ~ r }  p
Evaluando:

p q r {[ ( ~ p  q )  ( q  r ) ]  ~ r }  p
V V V F V V V V F F V V
V V F F V V F F F V V V
V F V F V F V V F F V V
V F F F V F V V V V V V
F V V V V V V V F F V F
F V F V V V F F F V V F
F F V V F F F V F F V F
F F F V F F F V F V V F
1 2 1 3 2 4 1 OP 1

Al evaluar el esquema molecular y observar los valores de OP resulta una

TAUTOLOGIA.

PERVISU
PRACTICA GRUPAL: (PARA QUE LOS ESTUDIANTES EN GRUPOS LO DESARROLLEN)

Evaluar el valor de verdad de los siguientes esquemas moleculares:

A     p  q    q   (  p  q )

E  {   p  r    q   (  r  q ) }

B   p  q   ( q  r )   ( p  r )

C   q  r   ( p  r )   p  r

PERVISU
FORMA ABREVIADA

Para establecer el valor de verdad de un esquema lógico o proposición compuesta se

puede asignar valores de verdad a las proposiciones simples que lo conforman y así
conocer el valor de verdad de la proposición compuesta, este proceso se conoce como la
forma abreviada.

 Determinación del valor de verdad de la proposición compuesta a partir de conocer el

valor de verdad de las proposiciones simples.

 Determinación del valor de verdad de las proposiciones simples a partir de conocer el

valor de verdad de la proposición compuesta.

PERVISU
Ejemplo:
Dada las proposiciones simples 𝑝, 𝑞, 𝑟 𝑦 𝑠 con sus respectivos valores de verdad. 𝑣 𝑝 = 𝐹,
𝑣 𝑞 = 𝐹, 𝑣 𝑟 = 𝑉 𝑦 𝑉 𝑠 = 𝑉 . Evaluar el valor de verdad del siguiente esquema
molecular: E  ( p  r )  [  ( p  s)  q ]

Evaluando:

E  ( p  r )  [  ( p  s)  q ]

E( p  r)  [  ( p  s )  q ]
F V F V
F F

V F
F F

V

Al evaluar el esquema molecular por método abreviado se puede observar que en el OP resulta
VERDADERA O TAUTOLOGICA.

PERVISU
Ejemplo:
Dada las proposiciones simples 𝑝, 𝑞, 𝑟 𝑦 𝑠 con sus respectivos valores de verdad. 𝑣 𝑝 = 𝑉,
𝑣 𝑞 = 𝑉, 𝑣 𝑟 = 𝐹, 𝑣 𝑠 = 𝑉 𝑦 𝑣 𝑡 = 𝐹 . Evaluar el valor de verdad del siguiente esquema
molecular:
E  [ ( p   r )  t ]   [  ( p  s)  q ]
Evaluando:

[ ( p  r )  t ]   [  ( p  s )  q ]

V V V V V
 V
V V F V

V
 
V F
V
Al evaluar el esquema molecular por método abreviado se puede observar que en el OP resulta
VERDADERA O TAUTOLOGICA.

PERVISU