EVALUACION DE PROPOSICIONES COMPUETAS O ESQUEMAS

MOLECULARES POR TABLA DE VERDAD

La evaluación de esquemas moleculares consiste en hallar lo valores del operador
principal a partir de la validez de cada una de las proposiciones simples (variables
proposicionales).
El número de valores que se asigna a cada variable proposicional depende de la formula
2 n , donde ''n'' indica el número de proposiciones simples que existe en el esquema
molecular y 2 es una constante que indica de los valores de V o F que tiene una
proposición.
Ejemplo:

Son proposiciones moleculares:

  p ~ q   r  
 p v t 

Operador principal

De donde: n = 4 , 24 = 16 combinaciones de valores de verdad

  p  r   s  q  ~ p

TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA

Un esquema molecular es tautológico cuando los valores de verdad del operador
principal son todos verdaderos
Un esquema molecular es contradictorio cuando el resultado del operador principal son
todos falsos.
Un esquema molecular es contingente (consistente) cuando en su resultado hay por lo
menos un V y un F.
EJERCICIOS DE APLICACIÓN
En una tabla determinar si las siguientes proposiciones son Tautología, Contradicción o
son contingentes

a) p   p  q   p
b)  p ~ q   r  
 q v ~ r 
c) p   q  r  
 ~  p  q    ~ p  ~ r 
d)  ~ p  q   ~ r  
 r  ~  p  ~ q 
e)  q  r    ~ p  r 
f)  ~ p  q    ~ r  ~ p  
 p  r  q 
g)  q ~ p   ~ r  ~ p 
  
h) ~  ~  p  q  ~ q  
 p  q 

Solución a) p   p  q   p

n = 2, 22  4 Combinaciones

P q
p  p  q   p
V V V V V V V
V F V F F V V
F V F F V V F
F F F F V V F

 Es una tautología

Solución b)  p ~ q   r  
 q v ~ r 

n = 3 , 23 = 8 combinaciones
P q r  p  ~ q   r  
 q v ~ r 
V V V V F F V V V V V F
V V F V F F F F V V F V
V F V V V V V V F F F F
V F F V V V V F V F V V
F V V F F F V V V V V F
F V F F F F F F V V F V
F F V F F V V V F F F F
F F F F F V F F V F V V

 Es una contingencia

Solución c) p  q  r  

 ~  p  q    ~ p  ~ r 

n = 3 , 23 = 8 combinaciones
 P q r p   q  r  
 ~  p  q    ~ p  ~ r 
V V V V V V F F V F F F F
V V F V V F F F V F F F V
V F V V V F F F V F F F F
V F F V V F F F V F F F V
F V V F V V F F V F V F F
F V F F F F F F V V V V V
F F V F F F F V F V V F F
F F F F F F F V F V V V V

 Es una contradicción
EQUIVALENCIA: Dos esquemas proposicionales (moleculares) A y B, se dice que son
equivalentes cuando unidas por el bicondicional '' 
 '' el resultado es una tautología; es
decir, que A y B, tienen los mismos valores de verdad en su operador principal y se denota por:
A  B o A  B y se lee “A es equivalente a B” o “B es equivalente a A”
Si A no es equivalente a B, se escribe: A ≢ B o A ⇎ B

Ejemplo:

Determinar si las proposiciones siguientes son equivalentes

A: “si Marco aprobó los exámenes de admisión, ingreso a la universidad”

B: ‘‘ No es el caso que Marco apruebe los exámenes de admisión y no ingrese a la universidad”

Solución

Simbólicamente, sean:

p: “Marco aprobó los exámenes de admisión”

q: “Marco ingreso a la universidad”

A: p 
q

B: ~  p ~ q 

Constituyendo la tabla de verdad n = 2 , 22 = 4 combinaciones



P q  p 
q  ~  p ~ q 
V V V V V (V F F)
V F F V F (V V V)
F V V V V (F F F)
F F V V V (F F V)
 q  ~  p ~ q 
Asi A  B esto es p 

IMPLICANCIA: A implica B, cuando unidos por el condicional el resultado es una

tautología. Se simboliza por: A  B ; A implica B '' 
 ''
A  B : Se lee “A implica a B”
Si A no implica a B se simbolizara: A ⇏ B

Ejemplo: sean los esquemas moleculares que están dado por:

A:  ~ p v  ~ q 

B: ~  p  q   ~ r

Solución

n = 3 , 23 = 8 combinaciones
P q r  ~ p  v  ~ q  
 ~  p  q   ~ r 
V V V F F F V F V F F
V V F F F F V F V V V
V F V F V V V V F V F
V F F F V V V V F V V
F V V V V F V V F V F
F V F V V F V V F V V
F F V V F V V V F V F
F F F V F V V V F V V

“A implica a B”

Ejercicios:

Determinar, si A implica B o A es equivalente a B

1)
A: ~ q  p  q
B: ~ p
A: ~  q  r    p  q 
2)
B: p  r
A: ~ q   p  r 
3)
B : ~ q  ~  r  p  
 A:  p  ~ q    ~ r  p   ~ q 
4)
B: ~  ~ p  q   q ~  ~ p  r 
5) Cuál de las siguientes proposiciones compuestas son equivalentes:
A:  ~ p  q    ~ r  ~ p 
B: p  r  q
C: ~ q  ~ p

ESCRIBIR SIMBÓLICAMENTE LAS SIGUIENTES PROPOSICIONES

a) “Pedro llego tarde a clases sin embargo entro al salón”
Sean:
p: Pedro llego tarde a clases
q: Pedro entro al salón
Simbólicamente: p  q

b) “Carlos compra un libro solo cuando tiene dinero”

sean:
p: Carlos compra un libro
q: Carlos tiene dinero

Simbólicamente: p 
q

c) “Iré de viaje y me divertiré, si ahorro”

d) “Cesar desaprobó el curso puesto que no estudio”
e) “Hoy día esta nublado porque quiere llover”