CONSTRUCCIN DE TABLAS DE VERDAD:

Las tablas de verdad se utilizan en lgica simblica para establecer la

validez de las proposiciones. La construccin de las tablas de verdad simplifica la
tarea de determinar la verdad o falsedad de una proposicin.

La columna que corresponde al resultado de una tabla de verdad se denomina

Matriz Principal. Atendiendo al resultado de la Matriz Principal las proposiciones
compuestas se clasifican en:

a) Tautologas cuando todos los valores de la Matriz Principal son verdaderos

b) Contradiccin cuando todos los valores de la Matriz Principal son falsos
c) Contingencia cuando algunos valores de la Matriz Principal son verdaderos y
otros falsos.

Para construir una Tabla de Verdad para dos proposiciones pueden presentarse
cuatro casos posibles:

1.- Ambas proposiciones son verdaderas

2.- La primera es verdadera y la segunda es falsa
3.- La primera es falsa y la primera verdadera
4.- Las dos son falsas.

Ejemplo 1:

p q ~p ~q p q ~p ~q p q (~p ~q)
V V F F V V V

V F F V F F V

F V V F V V V

F F V V V V V

Como todos los valores de la Matriz Principal son verdaderos la proposicin

compuesta es una TAUTOLOGA.
Ejemplo 2:
p q pq ~p (p q) ~p

V V V F F

V F V F F

F V V V V

F F F V V

Como algunos valores de la Matriz Principal son verdaderos y otros falsos, la

proposicin compuesta es una CONTINGENCIA.

Ejemplo 3:
p q pq ~q (p q) ~q
V V V F F

V F F V F

F V F F F

F F F V F

Como todos los valores de la Matriz Principal son falsos la proposicin compuesta
es una CONTRADICCIN.
Ejemplos:
1. Si x R, determinar los valores de x que hacen verdadero el siguiente
enunciado abierto:
7x 3
P(x): =6
4
Solucin:
7x 3
6 Resolviendo tenemos: 7 x 3 24
4
7x = 21
x =3

Respuesta: El enunciado abierto P(x) es verdadero, cuando x = 3

2. Determinar los valores de la matriz principal de la siguiente proposicin
compuesta: ( p q ) ( q p )
 Solucin

Resolvemos el ejercicio desarrollando la tabla de valores:

p q q (pq) (qp)

V V F F F V

V F V V V V

F V F V V V

F F V V F F

Respuesta: La Matriz principal es FVVF

3. Sabiendo que la proposicin: ( r p ) ( q s ) es falsa determinar el

valor de las proposiciones:
A) [ q ( p s ) ] r

B) [ ( s p ) ( q r ) ] ( p q)

Solucin

Primero deducimos el valor de las proposiciones p, q, r, s, utilizando el primer

dato
Como la proposicin condicional: ( r p ) ( q s ) es falsa, el
antecedente ( r p ) es verdadero y el consecuente ( q s ) es falso.

Si ( r p ) es verdadero entonces r es verdadero y ( p) es verdadero,

luego p es falso.

Si ( q s ) es falso entonces ( q ) es falso, luego q es verdadero y s es

falso

Con estos valores hallamos A y B

 A)

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

F V V F V V V F F F V V

B)

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

F V V F V F F F F V V V V F

4. Se define : p q = ( p q ) . Adems la proposicin siguiente:

{ [ p ( p q ) ] ( r q ) } es falsa . Hallar el valor de p, q y r

Solucin

En la proposicin : { [ p ( p q ) ] ( r q ) } Reemplazamos utilizando

la igualdad p q = ( p q ) y se obtiene la siguiente proposicin
compuesta:

{ [ p ( p q ) ] ( r q ) } { [ p ( p q ) ] ( r q ) }

[p(pq)] (rq)

Como la ltima expresin es falsa el antecedente [ p ( p q ) ] es

verdadero luego p ( p q ) es falsa; de donde se deduce que p es
verdadero y ( p q ) es falso, como ya sabemos que p es verdadero su
negacin es falsa entonces q es verdadero. De otro lado el consecuente ( r
q ) es falso, como sabemos que q es verdadero se deduce que r es verdadero

Respuesta: las tres proposiciones son verdaderas.