III Bimestre

Lic: Jos Luis Paiva Mozo

Raz. Matemtico

1. LGICA PROPOSICIONAL

Es el estudio de los mtodos que aplican

definiciones y leyes, con el propsito de
determinar
la
validez
o
invalidez
del
razonamiento.

3.2.CONJUNCIN
(Se simboliza: , se lee: y )
Dos proposiciones se pueden enlazar por medio de la
palabra y, para formar otra nueva proposicin
llamada conjuncin de ambas.
La conjuncin de las proposiciones p y q
Se denota: p q .
p
V
V
F
F

1.1. PROPOSICIN LGICA

Es Aquella expresin u oracin que se puede

calificar o bien como verdadero (V) o bien como
falso (F) y sin ambigedad. Las proposiciones
lgicas se denotan con letras minsculas, tales
como: p,q,r,s,....etc.
Ejemplo:
p :3+5=7
q : Lima es la capital del Per.
r : El gato es un felino.

(F)
(V)
(V)

OBSERVACIN: No son proposiciones lgicas las

oraciones:
- Interrogativas.
- Imperativas.
- Dubitativas.

p q es verdadero (V) cuando

los dos son verdaderos.
3.3.CONDICIONAL
(Se simboliza: , se lee: entonces )
Si se tienen dos proposiciones p y q , enlazadas de
la forma si p entonces q, se dicen que dichas
proposiciones se llaman condicionales. y se les denota
por: p. q.

- Exclamativas.
- Desiderativas.
- Exhortativas.

p
V
V
F
F

Ya que de ellas no se puede afirmar si son verdaderas

o falsas

2. NEGACIN DE UNA PROPOSICIN

Consiste en cambiar el valor de verdad que tiene una
proposicin. Si la proposicin es p su negacin se
denota por ~p :
p

~p

Se lee:

VF

FV

No p
Es falso que p
No es cierto que p

3. CONECTIVOS LGICOS
Son elementos que sirven de enlace entre las
proposiciones, para formar otra, llamada proposicin
compuesta o molecular.
Ejemplo:
4+5 es mayor que 7 o 3x3 es menor que 10

Conectivo lgico

3.1.DISYUNCIN INCLUSIVA
Se simboliza: , se lee: o )
Dos proposiciones se pueden enlazar por medio de la
palabra o, para formar otra nueva proposicin
llamada disyuncin de ambas.
La disyuncin de las proposiciones p o q
se denota: p q .
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

p q es verdadero (V)
cuando por lo menos uno
de ellos es verdadero.

pq
V
F
F
F

q
V
F
V
F

q
V
F
V
F

pq
V
F
V
V

p q es falsa (F) solamente

cuando p es verdadera y q
es falsa
3.4. BICONDICIONAL
(Se simboliza: , se lee: si y slo si )
Si se tienen dos proposiciones p y q , enlazadas de
la forma p si y slo si q, se les denota por: p. q.
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

p q es verdadera (V) solamente cuando

p y q 32 tienen el mismo valor de verdad.
3.5. DISYUNCIN (EXCLUSIVA FUERTE)
(Se simboliza: , se lee: o.......o......... )
Si se tienen dos proposiciones p y q, enlazadas de
la forma o p o q, se les denota por: p q.
p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

p q es verdadera (V) solamente cuando

p y q tienen diferente valor de verdad.

4. TABLA DE VERDAD
Casi siempre es necesario representar proposiciones
compuestas que pueden a su vez tener como

III Bimestre
Lic: Jos Luis Paiva Mozo
Raz. Matemtico

5
componentes otras proposiciones compuestas; en este
caso es necesario el uso de signos de coleccin
(parntesis, corchetes, etc.)

4.2. RESULTADOS DE UNA TABLA

De acuerdo al resultado obtenido, una frmula
proposicional recibe un nombre especial, as tenemos
que:

A
esta
representacin
mediante
variables
proposicionales, conectivos lgicos y signos de
coleccin llamaremos frmula proposicional. As por
ejemplo:

4.2.1.

TAUTOLOGA.- Cuando los valores

operador principal son todos verdaderos.

p [ ( ~p q ) ~q ]
F

Si en la frmula anterior, se sabe que p es V y q es

F, el valor de verdad lo obtenemos de la siguiente
manera:
p [ ( ~p q )

Ejemplo: La proposicin p ( p q ) es una

tautologa, tal como lo puedes comprobar en su tabla
de verdad.
p
V
V
F
F

~ q]

V
V
V

del

p
V
V
F
F

q
V
F
V
F

V
V
V
V

(p q)
V
V
V
F

4.2.2. CONTRADICCIN.- Cuando los valores del

operador principal son todos falsos.

En otros casos es necesario determinar los valores de

verdad de una frmula para todas las combinaciones
de los valores de verdad de las componentes, a este
proceso se le denomina evaluar una frmula en una
tabla de verdad.

Ejemplo: La proposicin ( p q ) ~ q es una

contradiccin, tal como lo puedes comprobar en su
tabla de verdad.
p
V
V
F
F

q
V
F
V
F

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

F
V
F
V

4.1. CONSTRUCCIN DE UNA TABLA

Antes de ver como se construye una tabla de verdad,
tengamos lo siguiente:

4.2.3. CONTINGENCIA o CONSISTENCIA.-

OBSERVACIONES:

Cuando los valores del operador principal tiene por lo

menos una verdad y por lo menos una falsedad.

1.- Consideremos dos tipos de proposiciones: simples

son aquellas que no contienen conectivos lgicos ni
adverbio de negacin y compuestas que son aquellas
formadas por dos o ms proposiciones unidas por
conectivos lgicos o por el adverbio de negacin.
2.- El nmero posible de combinaciones de los valores
de verdad de n proposiciones componentes es 2n
Por ejemplo:
Si n =2 hay: 22 = 4
combinaciones

Si: n =3

q
V
F
V
F

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

Son equivalencias lgicas que nos permiten reducir

esquemas moleculares complejos y expresarlos en
forma ms sencilla. Las demostraciones de dichas
leyes se hacen construyendo la tabla de verdad en
cada caso.
5.1. PRINCIPALES LEYES:

V
F
V
F

hay: 23 = 8
Combinaciones
p q r
V V
V V
V F
V F
F V
F V
F F
F F

p
V
V
F
F

5. ALGEBRA DE PROPOSICIONES

p q
V
V
F
F

Ejemplo: La proposicin ( p q ) ~p es una

contingencia, tal como lo puedes comprobar en su
tabla de verdad.

V
F
V
F
V
F
V
F

LEY DE IDEMPOTENCIA
ppp
ppp

LEY CONMUTATIVA
pqqp
pqqp

LEY ASOCIATIVA
(p q) r p (q r)

5
(p q) r p (q r)

LEY DISTRIBUTIVA
p (q r) (p q) (p r)
p (q r) (p q) (p r)

LEY DE LA DOBLE NEGACIN

~ (~p) p

LEY DE IDENTIDAD
pVV;
pVp;

pFp
pFF

LEYES DE COMPLEMENTO
p ~p V
p ~p F

LEY DEL CONDICIONAL

p q ~p q

LEY DEL BICONDICIONAL

p q (p q) (q p)
p q (p q) (~p ~q)

LEY DE ABSORCIN
p (p q) p
p (p q) p
p (~p q) p q
p (~p q) p q

Si a una funcin proposicional, le anteponemos la

expresin para todo x, estaremos indicando
el
sentido universal de dicha funcin proposicional,
obtenindose ahora una proposicin lgica.
x : p(x) (x) [ p(x) ]

Notacin:

Se lee: para todo x, se cumple p(x)

Ejemplo:
Si tenemos una funcin proposicional:
p(x) : x + 6 > 3(No es proposicin lgica)
y ahora le agregamos el cuantificador universal .
x : p(x)
x : x + 6 > 3( Si es proposicin lgica )
Tendremos una proposicin lgica, cuyo valor es
falso, porque no todos los valores de x
cumplirn la proposicin.
Ejemplo:
Para x = -3, no se cumple
Entonces es falso que para todo x, se cumpla: x + 6 >
3.
7.2. CUANTIFICADOR EXISTENCIAL
Si a una funcin proposicional, le anteponemos la
expresin existe un x, tal que, estaremos indicando
el sentido existencial (que exista algn) de dicha
funcin proposicional, obtenindose ahora una
proposicin lgica.
Notacin:

LEY DE MORGAN
~(p q) ~ p ~ q
~(p q) ~ p ~ q

6. FUNCIN PROPOSICIONAL
Es aquel enunciado que contiene a una variable y que
tiene la propiedad de convertirse en verdadero o falso
para cierto valor de la variable. Las funciones
proposicionales se pueden representar por; p(x); q(x); r(x);
etc., donde x es la variable.
Ejemplos:
p(x) : x-2 > 18
q(x) : x2 + 4 = 16
r(x) : x es un nmero primo.
Si en la funcin proposicional p(x) a x le damos
diferentes valores tendremos:
Para:

X = 10
p(10) : 10 2 > 18
8 > 18 (falso)
Para:
X = 23
p(23) : 23 2 > 18
21 > 18 (verdadero)
Como puede verse, dependiendo del valor de la
variable podemos obtener resultados diferentes.

7. CUANTIFICADORES: UNIVERSAL Y
EXISTENCIAL
7.1. CUANTIFICADOR UNIVERSAL

III Bimestre
Lic: Jos Luis Paiva Mozo
Raz. Matemtico

x / p(x) (x) ( p(x) )

Se lee: existe un x, tal que, se verifique p(x)

existe por lo menos un x, tal que, se verifique p(x)
al menos un x, verifica p(x)
Ejemplo:
Si tenemos una funcin proposicional:
p(x) : x - 2 > 11 ( No es proposicin lgica )
y ahora le agregamos el cuantificador existencial .
x / p(x)
x / x - 2 > 11
( Si es proposicin lgica )
Para verificar que es una proposicin lgica, podemos
darnos cuenta que si x = 20, se cumple la desigualdad,
ya hemos encontrado por lo menos un x, que
verifique p(x) , por lo tanto es una proposicin lgica,
cuyo valor es verdadero.
Entonces es verdadero que existe un x, que verifique:
x - 2 > 11.

8. CIRCUITOS LGICOS
Un circuito conmutador puede solamente estar en dos
estados: cerrado o abierto, as como una proposicin
puede ser verdadera o falsa, entonces podemos
representar una proposicin utilizando un circuito
lgico:

Circuito Serie: Dos interruptores conectados en

serie representan una conjuncin.

<>

p q

5
Circuito Paralelo: Dos interruptores conectados en
paralelo representan una disyuncin.

p
< >N p01q
PRCTICA DIRIGIDA

1).- Construir una tabla de verdad para

(p) (p v q) q e indica de qu se trata:
a) Tautologa
b) Contradiccin c) Composicin
d) Contingencia e) Equipotencia
2).- Halla los valores de verdad de las siguientes
proposiciones:
I.- ( 2 + 5 = 7 ) ( 3 1 = 4 )
II.- ( 3 + 5 = 8 ) ( 4 + 2 = 7 )
III ( 4 0 = 0 ) ( 6 4 > 1 )
IV. ( 5 + 4 < 9 ) ( 2 + 5 = 8 )
b) FVVF
e) VFVV

c) VFVF

3).- Dado el conjunto:

A = {3; 4; 5; 6}
Halla los valores de verdad de cada
proposicin.
I.- x A: x + 3 > 4
II.- x A/ x 5 > 1
III.- x A: x2 - 15 > 0
a) VVF
d) VFF

b) FFF
e) VFV

c) FVF

c) FV
e) Faltan datos.

Es falsa, halla los valores de verdad de:

I.- (~q p) (p ~r)
II. (p ~r) (q ~p)
b) FV
e) Faltan datos.

c) Composicin

9).- Construir la tabla de verdad de:

(p ~q) (~p q)
Luego indica cul de las proposiciones siguientes es
verdadera.
I. Es una contingencia.
II. Es una contradiccin.
III. Hay tres valores de verdad.
IV. Hay dos valores de falsedad.
a) Slo I
b) Slo II
c) I y II
d) I y IV
e) I y III

a) Slo I
d) II y III

a) VV
d) FF

6).- Si la siguiente proposicin:

(~p q) (~q r)

7).- Si la siguiente proposicin:

(~q p) (~p r)

a) Tautologa
b) Contradiccin
d) Contingencia e) Equipolencia

b) slo II
e) slo III

c) I y III

11).- Sabiendo que:

(r q) ~p
Es falsa, halla los valores de verdad de:
I.- (p r) (~q t)
II. ~(~p q) (r q)

5).- Si la proposicin compuesta:

(p ~q) (~t s)
Es falsa, halla los valores de verdad de p, q, t y s
respectivamente.
a) VVFF
b) VFFF
c) FFVV
d) VFFV
e) FFFV

a) VV
d) FF

c) VV

10).- Si la proposicin: p(rs) es falsa, entonces se

puede afirmar que :
I.
p es necesariamente verdadera.
II.
r es necesariamente verdadera.
III.
s puede ser verdadera

4).- Dadas las proposiciones lgicas:

p : 51 es un nmero primo.
q:
es un nmero racional.
r : 81 es un cuadrado perfecto.
Halla los valores de verdad de:
I.- (~p q) (r p)
II. ~(p q) (q ~r)
a) VV
b) VF
d) FF

Es verdadera, halla los valores de verdad de:

I.- (q ~r) p
II. (~p ~q) (p r)
a) FF
b) VF
d) FV
e) Faltan datos.
8).- Construir la tabla de verdad de:
(~p q) (p ~q)
e indica de qu se trata:

NIVEL I

a) VFFV
d) FFVV

III Bimestre
Lic: Jos Luis Paiva Mozo
Raz. Matemtico

c) VF

12).-

b) VF
e) Faltan datos.

c) FV

Cul de las siguientes expresiones

funciones proposicionales?
I.- p(x) : x2 + x > 4
II.- q(x) : x es un nmero impar.
III.- r(x) : 3x+ 7

a) Slo I
d) I y III

b) Slo II
e) I y II

13).- Dada la funcin proposicional:

p(x) : x3 -2x > 0
Halla los valores de verdad para:
X = -1 ; x = 2 ; x = 1
a) VVV
b) VVF
d) FVV
e) FVF

son

c) Slo III

c) VFV

14).- Dadas las proposiciones:

p : Lenin aprueba sus cursos
q : Lenin va a la fiesta
r : Lenin estudia para su examen
Simbolizar:
Si Lenin va a la fiesta entonces no estudiar para su
examen, pero no es el caso que vaya a la fiesta y

III Bimestre
Lic: Jos Luis Paiva Mozo
Raz. Matemtico

5
aprueba sus cursos. De ah que Lenin estudia para
su examen
a) (q r) (q q) r
b) (q r) (qp) r
c) (q r) (q p) r
d) (q r) (qp) r
e) (q r) (qp) r
15).- Si los valores veritativos de p, :q y r son V, F
y V respectivamente, halla el valor de verdad de las
siguientes proposiciones.
I.
II.
III.
IV.

pr
q ~p
q (r p)
r ~ (p q)

a) VFFF
d) VFVV

b) VVFV
e) FVFV

c) VFVF

16).- Dado el conjunto: A = { -1; -2; 1; 2} y las

proposiciones:
p(x) : x A: x2 > 1
q(x) : x A/ 2x x2
Indica el valor de verdad de: ~p ~q
a) Verdadero
d) tautologa
17).-

Halla la
mostrado:

b) falso
e) N.A
expresin

equivalente

al

a) (q p) ~r
c) (q p) r
e) (q p) r

b) (q ~p) ~r
d) (q ~p) r

23).- De las siguientes proposiciones:

I.- 5 + 2 = 8, adems: 4 < 5
II.- 2 < -2, si y slo si: 3 + 8 < 4 + 6
III.- 6 . 0 = 0 en consecuencia: 4 . 1 = 1
Indica los valores de verdad respectivos.
a)VVF
b) FFF
d) VFF
e) VFV

c) FVF

24) Simplifique y de el equivalente del siguiente circuito

lgico:

a) (p q) r
d) (p q) r

a) p q
d) p q

b) (p q) ~r
e) (p q) ~r

Halla la
mostrado:

expresin

c) (p q) ~r

equivalente

al

circuito

p
q
~s

b) p q
e) p q

I.- [(p q) q] ~p
II.- [(p q) p] q
III [p (q ~q)] ~p
b) Slo II
e) Todas

c) Slo III

26).- Si: (x y) es falso y (x y) es verdadero;

determina los valores de x e y.
a) VF
d) VV

b) FV
e) F.D.

c) FF

27).- Si: (s t) es verdadero; (r s) es falso; (p q)

es falso; (q r) es verdadero. Determina los valores
de: p, q, r, s y t respectivamente.

19).- Halla el equivalente del circuito:

a) VFVFF
c) VFFFF
e) VFVVF

~q
b) ~q
e) p

c) p q

25).- Construye las tablas e indica cuales son

tautolgicas:

a) Slo I
d) I y II

a) p (r s)
b) (p q) (r ~s)
c) (p q) (r ~s)
d) (p q) (r ~s)
e) (p q) (r s)

a) ~p
d) p ~q

22)).- Dadas las siguientes premisas:

p: Rodrigo es abogado.
q: Arturo es bilogo.
r: Arturo es administrador.
Cul es la expresin simblica de:
Si Arturo es bilogo adems Rodrigo no es abogado,
entonces Arturo no es administrador

circuito

~r

e) ~p ~q

d) ~q

c) contingencia

18).-

c) p

c) ~p ~q

21).- Simplifica a su mnima expresin:

(p ~q) ~ p
a) ~p
b) p q

b) VVVFF
d) FFVFF

28) Si: p * ~q = VFVF

Luego (p*q)*q
a) ~p
b) ~q
d) 1

e)

c) p v q

III Bimestre
Lic: Jos Luis Paiva Mozo
Raz. Matemtico

5
29)

Simplifique:

a) p q

30)

b) q

Simplificar :
a) (p r)
d) p

d) p q

c) p

b) p r
e) p q

e) T

c) p v q

r : Daniel es ingeniero.
Simboliza el enunciado:
Si no es el caso que Daniel sea un comerciante y
un prspero industrial, entonces es ingeniero o no
es comerciante
a)
~(p q) (r p)
b)
(~p q) (r p)
c)
~(p q) (r p)
d)
~(p q) (r ~p)
e)
(~p ~q) (~r p)
41).- Indica el valor de verdad de:
I. (~p ~q) (p q)
es una contradiccin.
II. [(p q) (q r] (p r)
es una tautologa.
II.[p (p q)] (q r)
es una contingencia.

28).- La siguiente proposicin:

( p ~q) (t r) es falsa, Cules de las
siguientes proposiciones son verdaderas?
~p ~t, es falsa.

I.
II.

r (q t) es verdadera.
III.- (p ~t) (r q), es verdadera.
a) Slo I
c) I y II
e) Todas

b) Slo II
d) I y III

a) VVV
b) VVF c) VFF
d) VFV
e) FVV
42).- Construir una tabla de verdad para
(pq) (qr) (pr)
e indica de qu se trata:
a) Tautologa
c) Composicin
e) Equipotencia

b) Contradiccin
d) Contingencia

37).- Halla la expresin equivalente al circuito mostrado

p
(pq)
~q
a) (p ~q) (p q)
b) (p ~q) (p q)
c) (p ~q) (p q)
d) (p ~q) (p ~q)
e) (p ~q) (p q)
38).- Si las proposiciones:
p ~q; q p

TAREA DOMICILIARIA

Son falsas, determina el valor de verdad de;

I.- (q p) ~(q ~p)
II.- (q ~p) (q p)
a) VV
d) FF

b) VF
e) N.A.

c) FV

39).- Dado el conjunto: A = { 1; 2; 3; 4; 5 } :

decir el valor de verdad de:
I.- x A/ x2 9 = 0
II.- x A/ x +3 > 7
III.- x A/ x + 5 < 4
a) VVV
b) VFV
c) VVF
d) VFF
e) FFF
40).- Dadas las siguientes proposiciones:
p : Daniel es comerciante.
q : Daniel es un prspero industrial.

2).- Construir una tabla de verdad para

p (p) ( q)
e indica de qu se trata:
a) Tautologa
b) Contradiccin
c) Composicin
d) Contingencia
e) Equipotencia
11).- Hallar la tabla de verdad de:
(pq) (pq) e indica de qu se trata:
a) Tautologa
b) Contradiccin
c) Composicin
d) Contingencia
e) Equipotencia
15).- Cules de las siguientes proposiciones son
verdaderas?
I.- ( 3 + 7 10 ) ( 4 x 0 = 4 )
II.- ( 12 + 5 < 15 ) ( 5 > -10 )
III ( 7 x 1 = 7 ) ( 12 9 + 3 )
a) I y II

b) II y III

c) Slo I

5
d) Slo II

(p ~q) (p ~q)

e) Slo III

16).- Construir la tabla de verdad de la siguiente

proposicin compuesta:
(~p q) (p q) y dar el resultado.
a) FFVV
d) VVVF

b) FVVV
e) VVFF

III Bimestre
Lic: Jos Luis Paiva Mozo
Raz. Matemtico

c) FVVF

17).- Al construir la tabla de verdad de:

El nmero de valores verdaderos en el

resultado es:
a) 0
d) 3

b) 1
e) 4

c) 2