ESQUEMA PROPOSICIONAL TAUTOLOGA: Cuando los valores que toma para el

(F RMULA PRPSICINAL) conectivo dominante son todos verdaderos.

Es una frmula lgica que resulta de la combinacin de
variables proposicionales, constantes lgicas y signos de CONTRADICCIN: Cuando los valores que toma para el
agrupacin; siempre y cuando sea una frmula bien conectivo dominante son todos falsos.
formada (fbf) es decir que no presente ambigedad.
CONTINGENCIA: Cuando entre los valores que toma
Un esquema proposicional posee un correspondiente para el conectivo dominante hay por lo menos una V y
valor de verdad para los valores dados en cada variable una F.
proposicional. El nmero de resultados en general
proviene de las combinaciones de los valores de verdad EJERCICIOS
de cada variable proposicional, a travs de una tabla de Construir la tabla de valores de verdad para los
verdad, si stas fuesen n existen 2n combinaciones, siguientes esquemas proposicionales y calificarlos como
donde 2 es una constante que representa que cualquier Tautologa, contradiccin o contingencia:
proposicin puede ser Verdadero (V) Falso (F).
1) ( p q ) ( p q )
p
PARA 1 PROPOSICIN p q ( p q ) ( p q )
V
F
2n = 21 = 2 valores (filas)
p q
V V
V F PARA 2 PROPOSICIONES
F V
F F 2n = 22 = 4 valores (filas) 2) ( p q r ) r ( p q )
p q r
V V V p q r ( p q r ) r ( p q )
PARA 3 PROPOSICIONES
V V F
V F V
V F F 2n = 23 = 8 valores (filas)
F V V
F V F
F F V
F F F

La validez de un esquema proposicional depende de los

valores de verdad de las proposiciones simples que la
componen y se determina mediante una tabla de verdad.

TABLAS DE VALORES DE VERDAD

Son cuadros de doble entrada que nos permiten 3) [ ( p q ) p] [ ( p r ) q ]
determinar el valor de verdad de un esquema
proposicional.
p q r [ ( p q ) p] [ ( p r ) q ]
p q r [ Esquema proposicional ]

Filas

Columnas
N de columnas = nmero de proposiciones simples (p, q, r) =3
NPracticamos
de filas = 2n (n: nmero de proposiciones simples)
= DEFINICIONES
23
= 8
4) [( p q ) (r p )] ( r q )
 p q r [( p q ) (r p )] ( r q ) 4. [ ( p q ) p ] ( q p)

p q [ ( p q ) p ]( q p )

5. { [ ( p r ) q] [(pq)r]} {(rp)
r}
{[(pr) q][(pq)r]} {(
p q r
Actividad en aula: rp) r}
Construya la tabla de valores de verdad de los siguientes
esquemas proposicionales y determinar si el resultado
es Tautologa, Contradiccin o Contingencia:

1. [ ( p q ) p ] q

p q [( p q ) p ] q

6. ( p q ) ( r p )si r es falsa

p q r ( p q) (r p )
2. [ ( p q ) ( q r ) ] ( r q )

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

7. Si p es verdadera, determinar el valor de verdad de:

p ( p q)
8. Si la proposicin compuesta: ( p q ) ( r t ) es falsa
Indicar las proposiciones que son verdaderas.
a) p y r b) p y q c) r y t d) q y t e) p y t
9. Si se sabe que:
p r es falsa
r q es verdadera
3. [ ( p q ) r ] p [ r ( p q ) ] q t es falsa
[ ( pq ) r ] p [ r Determina el valor de verdad de p , q , r y t
p q r a) VVVV b) VVFF c) VFVF d) FVFF e) FFFF
(p q ) ]
10. Si la proposicin compuesta: [( p r )
( r q )]
Es verdadera, hallar el valor de verdad de las proposiciones
r ; p y q respectivamente
a) VVF b) FVV c) VFV d) FVF e) FFV
11. Si la proposicin: p ( r s ) es falsa, entonces se
puede afirmar que:
I) p es necesariamente verdadera
II) r es necesariamente verdadera
III) s puede ser verdadera
a) Slo I b) Slo II c) I y III d) II y III e) Slo III
 a) Si la conjuncin de A y B implica a C
Dime y lo olvido, ensame y lo recuerdo, b) Si la disyuncin de A y C implica a B
involcrame y lo aprendo. c) Si la conjuncin de A y C es equivalente a B
BENJAMN FRANKLIN
d) Si la disyuncin de B y C es equivalente a A
IMPLICACIN
Dados dos esquemas proposicionales A y B, se dice
que el esquema A implica al esquema B, lo que se
denota por A B si se cumple que A B
CIRCUITOS
es una tautologa. Si A B no es una
Un circuito lgico es la representacin de
tautologa, se dice que A no implica a B, lo que se un esquema molecular en forma grfica,
denota por A B que satisface las reglas de la lgica,
Ejemplo: simulando el comportamiento real de un
A: p (q p ) circuito elctrico, con interruptores que
B: ( p q ) ( p p) Si una proposicin es verdadera, el
p q [ p (q p )] [ ( p q ) ( p p)] interruptor estar cerrado y la corriente
pasar.
Si la proposicin es falsa, el interruptor
estar abierto y la corriente no pasar.

Existen dos clases de representaciones bsicas:

en serie y en paralelo.
EQUIVALENCIA
CIRCUITO EN SERIE
Dos proposiciones o dos esquemas proposicionales
Es cuando los interruptores estn conectados
A y B son equivalentes, lo que se denota por A
uno a continuacin de otro. Su equivalencia
B si se cumple que A B es una
es la conjuncin.
tautologa. Si A B no es una tautologa, se
dice que A y B no son equivalentes, lo que se
denota por A B p q
Ejemplo:
Determinar si el esquema A implica al esquema B En este circuito pasar corriente slo en el
A: ( p q) ( r p) caso que py q se encuentren cerrados,
B: ( q p) es decir cuando ambos sean verdaderos.

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

ACTIVIDADES PARA TRABAJAR EN AULA

1. Determinar si los esquemas son equivalentes:
A: ( p q ) ( r p ) ; B: q p
CIRCUITO EN PARALELO
2. Dados los siguientes esquemas moleculares: Es cuando hay dos posibilidades de flujo de
A: p q B: p r corriente los interruptores estn conectados
uno frente al otro. Su equivalencia es la
C: (q r ) disyuncin.
Determinar:
En este circuito pasar corriente si por lo
menos uno de los interruptores elctricos
est cerrado. En este caso que pyq se 8. [ p (q r )]
encuentren cerrados, es decir cuando ambos
sean verdaderos.

9. ( p q ) (q p )

10. [p( p q)] ( p q)

11. p ( p q)

12. [ p ( p q ) ] ( p q)

EJERCICIOS
Construye el circuito para los siguientes esquemas:
1. ( p q ) ( p q )

Determinar el esquema que corresponde a cada circuito

a
2. ( q p) ( p q ) ( p q)

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

b.

4. ( p q ) ( p q )

5. pq c.

6. p q

d.

7. [( p q) ( p q )] ( p q)
 siguientes esquemas proposicionales y determinar si el
resultado es tautologa, contradiccin o contingencia:

a. [ p ( q p ) ] [ ( p q ) ( q

p ) ]

[p(q p ) ] [ ( p q )
p q
( q p ) ]

PRCTICA CALIFICADA
CEPU 2017 I

APELLIDOS Y
NOMBRES: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b . [ p ( q r ) ] [ ( p r ) q ]
................................
FECHA: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
p q r [ p ( q r ) ] [ ( p r ) q ]

1. De los siguientes enunciados, identifica los que son

proposiciones y coloca su valor de verdad
a) Cuando x >3 entonces x2 >9
b) Viva elPer!
c) Ica! Ciudad del sol eterno.
d) A qu hora termina elexamen?
e) Todo tringulo es unpolgono
f) El ADN es la molcula maestra de
laclula.
g) El rea del crculoes...
c. ( p q ) ( r p )
h) Del dicho al hecho hay muchotrecho.
i) Los nmeros racionales son inteligentes. p q r ( p q ) ( r p )
j) x es un nmero par.
k) La formula qumica del agua es H2O
l) Los electrones son partculas que se
encuentran alrededor del ncleo del
tomo.

2.De las siguientesexpresiones, cuales son proposiciones

compuestas

a) El ozono filtra los rayosultravioletas

n!
b) C(n, k) = , kn
(n k ) !k !
d . [ ( p q ) ( q r ) ] ( p r )
c) 1 i i2 1
d) El aire contiene oxgeno ehidrgeno p q r [ ( p q ) (q r )] ( p r )
e) El dinero hace ricos a los hombres, pero no
dichosos.
a) 2 y 3b) 2, 3y4c) 1y5d)Slo1e) 2, 3, 4y5

3. Construya la tabla de valores de verdad de los

 8. Escribe el esquema que corresponde a los
4. Si: (p ~ q) r ; es falsa, determinar lossiguientes circuitos:
valores deverdad de "p", "q" y "r"
a)VVF b)VFF c)VVVd)VFV e) FFF a

b
5 . Si laproposicin:(p ~ q) (~ r
s)es falsa,deducir el valor de verdad de:
(~ p ~ q) ~p
a)V b)Fc) VoF d) No se puededeterminar.
e) Es V si p es F

6. Si "p" es una proposicin falsa, determina

el valor de verdad de laexpresin:
{(p q) [r (~ q p)]} (r p q)
9. Construir el circuito de los siguientes esquemas
a) Verdadero b) Falso c) Verdadero o falso proposicionales:
d) Verdadero solo si q es verdadero
e) Falso solo si r es falso a) ( p q) ( p q )

b) [ p (r q )]( q r )
7. Si laproposicin:

p q) r (r s)es verdadera

Hallar el valor de verdad de:

I. p q) (r s) c) ( p q ) ( p q )
II. p s) rw p)
III. q r wp pq)
Son ciertas:
a)VVV b)FVV c) FFV d)FFF e)VFV
10. Simbolizar:
Si la proposicin que se obtiene es falsa.Cules
son los valores de p y q respectivamente?

a) VV b)VF c)FVd)FF e) No se puedeprecisar