UNIVERSIDAD NACIONAL FEDERICO

VILLARREAL

FACULTAD DE EDUCACIÓN

PROGRAMA NACIONAL DE FORMACIÓN Y

CAPACITACIÓN PERMANENTE DIRIGIDO A
DOCENTES DE EDUCACION BÁSICA REGULAR
2011

Ministerio de Educación

DISEÑO CURRICULAR NACIONAL: ASPECTOS

ESPECÍFICOS MATEMÁTICAS (Presencial)
p q ~q  ~p
V V F V F
V F V F F
F V F V V
F F V V V

TABLA DE VERDAD DE PROPOSICIONES COMPUESTAS

EDUARDO MÁXIMO SALDAÑA VIOLETA

PRIMERA UNIDAD: SISTEMAS NUMÉRICOS, FUNCIONES Y
LÓGICA MATEMÁTICA
TEMA 09: TABLA DE VERDAD DE LAS PROPOSICIONES
COMPUESTAS

PRESENTACIÓN

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel

elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un
argumento dado. Una de las técnicas constituye las tablas de verdad.

1.- PROPOSICION

Es una expresión, enunciado u oración a la que se le puede calificar como verdadera o

falsa, sin ambigüedades.

Las proposiciones lógicas se denotan generalmente por letras minúsculas como:

p, q , r,..., etc.

Las letras del alfabeto que denotan proposiciones lógicas se denominan variables
proposicionales.

2.- CONECTIVOS LÓGICOS

Los conectivos más usuales y sus símbolos son:

CONJUNTO LÓGICO SÍMBOLO

Conjunción: y 
Disyunción: o 
Disyunción exclusiva: o ... o 
...
Negación: no es cierto 
que ...
Condicional: Si ... 
entonces ...
Bicondicional: ... y sólo 
si ...

3.- TABLAS DE VERDAD DE LAS PROPOSICIONES COMPUESTAS

De la negación p ~ p
V F
F V

De otras proposiciones compuestas:

Proposición Conjunción Disyunción Disyunción Condicional Bicondicional

exclusiva
 p q pq pVq pq p q pq
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

4.- Tautología, Contradicción y Contingencia

A toda formula que es siempre verdadera para cualquier combinación de valores
de verdad de sus variables se le llama TAUTOLOGÍA.

Si los valores de verdad de la fórmula son todos falsos, la formula se llama

CONTRADICCIÓN.

Si la formula no es TAUTOLOGÍA, ni CONTRADICCIÓN, entonces se llama

CONTINGENCIA.

5.- USO DE LA TABLA DE VERDAD DE PROPOSICIONES COMPUESTAS

Ejemplo 1.- Hallar la tabla de verdad de las siguientes fórmulas lógicas:
a) ~ q  ~ p
b) p  ( r  ~ q)
Solución
a)
p q ~q  ~p
V V F V F
V F V F F
F V F V V
F F V V V

De acuerdo a su tabla ~ q  ~ p es una contingencia. Nótese que ~ q  ~ p

y p  q tienen los mismos valores de verdad.

b)
p q r p  ( r  ~q )
V V V V V F
V V F F F F
V F V V V V
V F F F V V
F V V V V F
F V F F F F
F F V V V V
F F F F V V

Ejemplo 2.- De la falsedad de ( p  ~ q)  (~ r  s ) deducir el valor de:

a a) (~ p  ~ q ) ~ q
 b) [ (~ r  q )  q ]  [(~ q  r )  s ]
b c) ( p  r )  [ ( p  q)  ~ q ]

Solución
Hallamos el valor de verdad de las proposiciones componentes de acuerdo al dato del
problema
( p  ~ q )  (~ r  s )
F F
V   V    
F
  F      
F
Entonces se tiene que: p (V ) , q (V ) , r ( F ) , s ( F ) .
Luego:
(~ p  ~ q)  ~ q
a)  F   F F

  F    
F
En consecuencia el valor de verdad de (~ p  ~ q ) ~ q es (F)

[(~ r  q)  q ]  [(~ q  r )  s ]
        F
V V
b)         F   
   V       F  
F
En consecuencia el valor de verdad de [ (~ r  q )  q ]  [(~ q  r )  s ] es
(F).
( p  r )  [( p  q)  ~ q
     
c) F
  V   F
        F  
V

El valor de verdad de ( p  r )  [ ( p  q)  ~ q ] es (V)

Ejemplo 3.- Si se sabe que las proposiciones p  s , p  (q  r ) y s  ~ r son

verdaderas. Hallar el valor de verdad de las siguientes proposiciones:
a) ( s  ~ r ) (~ p  q )
b) (r  ~ q)  ( ~ s  p )

Solución
Si p  s es (V) , entonces p y s son V.
Como s  ~ r es V, entonces por ser s V, ~ r también es V; de donde r es F.
Como p  (q  r ) es V, y ya se sabe que p es V, q  r debe ser V. Pero
como
r es F entonces q es V.
Así p , q y s son V y r es F.
Luego podemos determinar los valores de las proposiciones pedidas:
( s  ~ r )  (~ p  q )
       
a)   V     V  
F
El valor de verdad de ( s  ~ r ) (~ p  q ) es F.
 (r  ~ q )  (~ s  p )
      
b)        F 
F
V
El valor de verdad de (r  ~ q)  ( ~ s  p ) es V.

LISTA DE EJERCICIOS

1. Llevar al lenguaje simbólico las siguientes proposiciones:

a) José llegó tarde, sin embargo dio examen
b) Manuel jugó, aunque estuvo lesionado
c) Si 9 es múltiplo de 3 y 12 es múltiplo de 3 entonces 9+12 es múltiplo de 3
d) 5 es menor o igual que 3
e) El profesor ordenó hacer, o la tarea A o la tarea B.
2. Evaluar los siguientes esquemas moleculares:
a)   ~ p  q  ~ r    r  ~  p ~ q  
b) ~  ~  p ~ q   q     ~ p  ~ r   ~ q 

c) ~    ~ p ~ r   ~ q     p  r   q 

3. Si el esquema ~   r  q    r  p   es verdadero, hallar el valor de verdad de:

a) ~   p  x    y  ~ q   b)  x  q   w  r 
4. Si el esquema  p  q    q  r  es falso, establecer el valor de verdad de:
a)   ~ p ~ q   ~ r   ~   ~ p  r   p
b) ~   w  t   ~ x    p  q 
5. Si el esquema   p  q    r  s     p  s  es falso, hallar:
a)  p ~ q   r b)  ~ p  r   ~ s

c) ~   p  s   ~ q 
6. Cuál es la contrarrecíproca de: “Si los impuestos sobre la propiedad no
disminuyen, entonces los valores sobre los bienes raíces descenderán”.
7. Sean p, q, r y s proposiciones lógicas. Si (~ p � ~ q) esta apagado y
(~ r � s) esta apagado, ¿esta prendido o apagado el esquema

(~ s  q) � (p � ~ r) ?

8. Construir un circuito correspondiente a: (p � q) v ( p � (~p v q) )

9. Construir un circuito correspondiente a [(p  ~ q)  q]  p

10. Simplifique el siguiente circuito:
r
p
p

p ~q
q
p
11. Simplifique el siguiente circuito:

~r
p
r

p q
q
p

12.- PROBLEMA.- Si el costo de cada llave en la instalación mostrada es de s/ 10.00,

¿en cuánto se reducirá el costo de esta instalación si se reemplaza este circuito por uno
equivalente más simple?

p
______ p___ q
q
o___ ____o

r
r__ p____