III Bimestre

5 Lic: Jos Luis Paiva Mozo

Raz. Matemtico

3.2.CONJUNCIN
(Se simboliza: , se lee: y )
Dos proposiciones se pueden enlazar por medio de la
palabra y, para formar otra nueva proposicin
1. LGICA PROPOSICIONAL
llamada conjuncin de ambas.
Es el estudio de los mtodos que aplican La conjuncin de las proposiciones p y q
definiciones y leyes, con el propsito de
Se denota: p q .
determinar la validez o invalidez del
razonamiento.
p q pq
V V V
1.1. PROPOSICIN LGICA V F F
Es Aquella expresin u oracin que se puede F V F
calificar o bien como verdadero (V) o bien como
F F F
falso (F) y sin ambigedad. Las proposiciones
lgicas se denotan con letras minsculas, tales p q es verdadero (V) cuando
como: p,q,r,s,....etc. los dos son verdaderos.
Ejemplo:
3.3.CONDICIONAL
p :3+5=7 (F)
q : Lima es la capital del Per. (V) (Se simboliza: , se lee: entonces )
r : El gato es un felino. (V) 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
OBSERVACIN: No son proposiciones lgicas las
por: p. q.
oraciones:
- Interrogativas. - Exclamativas.
- Imperativas. - Desiderativas. p q pq
- Dubitativas. - Exhortativas. V V V
V F F
Ya que de ellas no se puede afirmar si son verdaderas
F V V
o falsas
F F V
2. NEGACIN DE UNA PROPOSICIN p q es falsa (F) solamente
Consiste en cambiar el valor de verdad que tiene una cuando p es verdadera y q
proposicin. Si la proposicin es p su negacin se es falsa
denota por ~p :
3.4. BICONDICIONAL
p ~p Se lee: (Se simboliza: , se lee: si y slo si )
Si se tienen dos proposiciones p y q , enlazadas de
VF FV No p la forma p si y slo si q, se les denota por: p. q.
Es falso que p
No es cierto que p p q pq
V V V
3. CONECTIVOS LGICOS V F F
Son elementos que sirven de enlace entre las F V F
proposiciones, para formar otra, llamada proposicin F F V
compuesta o molecular.
Ejemplo: p q es verdadera (V) solamente cuando
4+5 es mayor que 7 o 3x3 es menor que 10 p y q 32 tienen el mismo valor de verdad.

p q 3.5. DISYUNCIN (EXCLUSIVA FUERTE)

Conectivo lgico
(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.
3.1.DISYUNCIN INCLUSIVA
Se simboliza: , se lee: o ) p q pq
Dos proposiciones se pueden enlazar por medio de la V V F
palabra o, para formar otra nueva proposicin V F V
llamada disyuncin de ambas. F V V
La disyuncin de las proposiciones p o q
F F F
se denota: p q .
p q es verdadero (V) p q es verdadera (V) solamente cuando
p q pq p y q tienen diferente valor de verdad.
cuando por lo menos uno
V V V de ellos es verdadero.
V F V
4. TABLA DE VERDAD
F V V
Casi siempre es necesario representar proposiciones
F F F
compuestas que pueden a su vez tener como
 III Bimestre
5 Lic: Jos Luis Paiva Mozo
Raz. Matemtico

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
A esta representacin mediante variables proposicional recibe un nombre especial, as tenemos
proposicionales, conectivos lgicos y signos de que:
coleccin llamaremos frmula proposicional. As por 4.2.1. TAUTOLOGA.- Cuando los valores del
ejemplo: operador principal son todos verdaderos.
p [ ( ~p q ) ~q ] Ejemplo: La proposicin p ( p q ) es una
tautologa, tal como lo puedes comprobar en su tabla
Si en la frmula anterior, se sabe que p es V y q es de verdad.
F F, el valor de verdad lo obtenemos de la siguiente
manera: p (p q)
p q
p [ ( ~p q ) ~ q] V V V V V
V V F V V V
V F V F V V
V V F F F V F
V
4.2.2. CONTRADICCIN.- Cuando los valores del
operador principal son todos falsos.

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

contradiccin, tal como lo puedes comprobar en su
En otros casos es necesario determinar los valores de tabla de verdad.
verdad de una frmula para todas las combinaciones
de los valores de verdad de las componentes, a este p q (p q) ~q
proceso se le denomina evaluar una frmula en una V V V F F
tabla de verdad. V F F F V
F V F F F
4.1. CONSTRUCCIN DE UNA TABLA F F F F V
Antes de ver como se construye una tabla de verdad,
tengamos lo siguiente: 4.2.3. CONTINGENCIA o CONSISTENCIA.-
Cuando los valores del operador principal tiene por lo
OBSERVACIONES: menos una verdad y por lo menos una falsedad.
1.- Consideremos dos tipos de proposiciones: simples
Ejemplo: La proposicin ( p q ) ~p es una
son aquellas que no contienen conectivos lgicos ni
contingencia, tal como lo puedes comprobar en su
adverbio de negacin y compuestas que son aquellas
tabla de verdad.
formadas por dos o ms proposiciones unidas por
conectivos lgicos o por el adverbio de negacin.
p q (p q) ~p
2.- El nmero posible de combinaciones de los valores V V V F F
de verdad de n proposiciones componentes es 2n V F V F F
Por ejemplo: F V V V V
Si n =2 hay: 22 = 4 F F F V V
combinaciones
5. ALGEBRA DE PROPOSICIONES
p q
Son equivalencias lgicas que nos permiten reducir
V V esquemas moleculares complejos y expresarlos en
V F forma ms sencilla. Las demostraciones de dichas
F V leyes se hacen construyendo la tabla de verdad en
F F cada caso.
5.1. PRINCIPALES LEYES:

Si: n =3 hay: 23 = 8 LEY DE IDEMPOTENCIA

Combinaciones ppp
p q r ppp
V V V
V V F LEY CONMUTATIVA
V F V pqqp
V F F pqqp
F V V
F V F LEY ASOCIATIVA
F F V (p q) r p (q r)
F F F
 III Bimestre
5 Lic: Jos Luis Paiva Mozo
Raz. Matemtico

(p q) r p (q r) Si a una funcin proposicional, le anteponemos la

expresin para todo x, estaremos indicando el
LEY DISTRIBUTIVA sentido universal de dicha funcin proposicional,
p (q r) (p q) (p r) obtenindose ahora una proposicin lgica.
p (q r) (p q) (p r)
Notacin: x : p(x) (x) [ p(x) ]
LEY DE LA DOBLE NEGACIN Se lee: para todo x, se cumple p(x)
~ (~p) p
Ejemplo:
LEY DE IDENTIDAD Si tenemos una funcin proposicional:
pVV; pFp p(x) : x + 6 > 3(No es proposicin lgica)
pVp; pFF y ahora le agregamos el cuantificador universal .
x : p(x)
LEYES DE COMPLEMENTO
p ~p V x : x + 6 > 3( Si es proposicin lgica )
p ~p F Tendremos una proposicin lgica, cuyo valor es
falso, porque no todos los valores de x
LEY DEL CONDICIONAL cumplirn la proposicin.
p q ~p q Ejemplo:
Para x = -3, no se cumple
LEY DEL BICONDICIONAL Entonces es falso que para todo x, se cumpla: x + 6 >
3.
p q (p q) (q p)
p q (p q) (~p ~q)
7.2. CUANTIFICADOR EXISTENCIAL
Si a una funcin proposicional, le anteponemos la
LEY DE ABSORCIN expresin existe un x, tal que, estaremos indicando
p (p q) p el sentido existencial (que exista algn) de dicha
p (p q) p funcin proposicional, obtenindose ahora una
p (~p q) p q proposicin lgica.
p (~p q) p q
Notacin:
x / p(x) (x) ( p(x) )
LEY DE MORGAN
~(p q) ~ p ~ q
Se lee: existe un x, tal que, se verifique p(x)
~(p q) ~ p ~ q
existe por lo menos un x, tal que, se verifique p(x)
al menos un x, verifica p(x)
6. FUNCIN PROPOSICIONAL
Es aquel enunciado que contiene a una variable y que Ejemplo:
tiene la propiedad de convertirse en verdadero o falso Si tenemos una funcin proposicional:
para cierto valor de la variable. Las funciones p(x) : x - 2 > 11 ( No es proposicin lgica )
proposicionales se pueden representar por; p(x); q(x); r(x);
etc., donde x es la variable. y ahora le agregamos el cuantificador existencial .
x / p(x)
Ejemplos: x / x - 2 > 11 ( Si es proposicin lgica )
p(x) : x-2 > 18
q(x) : x2 + 4 = 16 Para verificar que es una proposicin lgica, podemos
r(x) : x es un nmero primo. darnos cuenta que si x = 20, se cumple la desigualdad,
ya hemos encontrado por lo menos un x, que
Si en la funcin proposicional p(x) a x le damos verifique p(x) , por lo tanto es una proposicin lgica,
diferentes valores tendremos: cuyo valor es verdadero.

Para: X = 10 Entonces es verdadero que existe un x, que verifique:

p(10) : 10 2 > 18 x - 2 > 11.
8 > 18 (falso)
Para: X = 23 8. CIRCUITOS LGICOS
p(23) : 23 2 > 18
21 > 18 (verdadero) Un circuito conmutador puede solamente estar en dos
estados: cerrado o abierto, as como una proposicin
Como puede verse, dependiendo del valor de la puede ser verdadera o falsa, entonces podemos
variable podemos obtener resultados diferentes. representar una proposicin utilizando un circuito
lgico:
7. CUANTIFICADORES: UNIVERSAL Y
Circuito Serie: Dos interruptores conectados en
EXISTENCIAL serie representan una conjuncin.

7.1. CUANTIFICADOR UNIVERSAL p q <> p q

 III Bimestre
5 Lic: Jos Luis Paiva Mozo
Raz. Matemtico

Circuito Paralelo: Dos interruptores conectados en Es verdadera, halla los valores de verdad de:
paralelo representan una disyuncin. I.- (q ~r) p
p II. (~p ~q) (p r)
a) FF b) VF c) VV
< >N p01q
PRCTICA DIRIGIDA d) FV e) Faltan datos.
q
NIVEL I 8).- Construir la tabla de verdad de:
(~p q) (p ~q)
1).- Construir una tabla de verdad para e indica de qu se trata:
(p) (p v q) q e indica de qu se trata:
a) Tautologa b) Contradiccin c) Composicin
a) Tautologa b) Contradiccin c) Composicin d) Contingencia e) Equipolencia
d) Contingencia e) Equipotencia

2).- Halla los valores de verdad de las siguientes 9).- Construir la tabla de verdad de:
proposiciones: (p ~q) (~p q)
I.- ( 2 + 5 = 7 ) ( 3 1 = 4 ) Luego indica cul de las proposiciones siguientes es
II.- ( 3 + 5 = 8 ) ( 4 + 2 = 7 ) verdadera.
III ( 4 0 = 0 ) ( 6 4 > 1 ) I. Es una contingencia.
IV. ( 5 + 4 < 9 ) ( 2 + 5 = 8 ) II. Es una contradiccin.
III. Hay tres valores de verdad.
a) VFFV b) FVVF c) VFVF IV. Hay dos valores de falsedad.
d) FFVV e) VFVV a) Slo I b) Slo II c) I y II
d) I y IV e) I y III
3).- Dado el conjunto:
A = {3; 4; 5; 6} 10).- Si la proposicin: p(rs) es falsa, entonces se
Halla los valores de verdad de cada puede afirmar que :
proposicin. I. p es necesariamente verdadera.
I.- x A: x + 3 > 4 II. r es necesariamente verdadera.
II.- x A/ x 5 > 1 III. s puede ser verdadera
III.- x A: x2 - 15 > 0
a) Slo I b) slo II c) I y III
d) II y III e) slo III
a) VVF b) FFF c) FVF
d) VFF e) VFV 11).- Sabiendo que:
(r q) ~p
4).- Dadas las proposiciones lgicas:
Es falsa, halla los valores de verdad de:
p : 51 es un nmero primo.
I.- (p r) (~q t)
q: es un nmero racional. II. ~(~p q) (r q)
r : 81 es un cuadrado perfecto.
a) VV b) VF c) FV
Halla los valores de verdad de:
d) FF e) Faltan datos.
I.- (~p q) (r p)
II. ~(p q) (q ~r) 12).- Cul de las siguientes expresiones son
a) VV b) VF c) FV funciones proposicionales?
d) FF e) Faltan datos. I.- p(x) : x2 + x > 4
II.- q(x) : x es un nmero impar.
5).- Si la proposicin compuesta: III.- r(x) : 3x+ 7
(p ~q) (~t s)
Es falsa, halla los valores de verdad de p, q, t y s a) Slo I b) Slo II c) Slo III
respectivamente. d) I y III e) I y II
a) VVFF b) VFFF c) FFVV
d) VFFV e) FFFV 13).- Dada la funcin proposicional:
p(x) : x3 -2x > 0
6).- Si la siguiente proposicin: Halla los valores de verdad para:
(~p q) (~q r) X = -1 ; x = 2 ; x = 1
a) VVV b) VVF c) VFV
Es falsa, halla los valores de verdad de: d) FVV e) FVF
I.- (~q p) (p ~r)
II. (p ~r) (q ~p) 14).- Dadas las proposiciones:
p : Lenin aprueba sus cursos
a) VV b) FV c) VF q : Lenin va a la fiesta
d) FF e) Faltan datos. r : Lenin estudia para su examen
Simbolizar:
7).- Si la siguiente proposicin: Si Lenin va a la fiesta entonces no estudiar para su
(~q p) (~p r) examen, pero no es el caso que vaya a la fiesta y
 III Bimestre
5 Lic: Jos Luis Paiva Mozo
Raz. Matemtico

aprueba sus cursos. De ah que Lenin estudia para c) p d) ~q e) ~p ~q

su examen
a) (q r) (q q) r 22)).- Dadas las siguientes premisas:
b) (q r) (qp) r p: Rodrigo es abogado.
c) (q r) (q p) r q: Arturo es bilogo.
d) (q r) (qp) r r: Arturo es administrador.
Cul es la expresin simblica de:
e) (q r) (qp) r
Si Arturo es bilogo adems Rodrigo no es abogado,
entonces Arturo no es administrador
15).- Si los valores veritativos de p, :q y r son V, F
y V respectivamente, halla el valor de verdad de las a) (q p) ~r b) (q ~p) ~r
siguientes proposiciones. c) (q p) r d) (q ~p) r
e) (q p) r
I. pr
II. q ~p
23).- De las siguientes proposiciones:
III. q (r p)
I.- 5 + 2 = 8, adems: 4 < 5
IV. r ~ (p q) II.- 2 < -2, si y slo si: 3 + 8 < 4 + 6
III.- 6 . 0 = 0 en consecuencia: 4 . 1 = 1
a) VFFF b) VVFV c) VFVF
d) VFVV e) FVFV Indica los valores de verdad respectivos.
a)VVF b) FFF c) FVF
16).- Dado el conjunto: A = { -1; -2; 1; 2} y las d) VFF e) VFV
proposiciones:
p(x) : x A: x2 > 1 24) Simplifique y de el equivalente del siguiente circuito
q(x) : x A/ 2x x2 lgico:
Indica el valor de verdad de: ~p ~q

a) Verdadero b) falso c) contingencia

d) tautologa e) N.A

17).- Halla la expresin equivalente al circuito

mostrado:
p
~r a) p q b) p q c) p q
q d) p q e) p q

a) (p q) r b) (p q) ~r c) (p q) ~r 25).- Construye las tablas e indica cuales son

d) (p q) r e) (p q) ~r tautolgicas:

18).- Halla la expresin equivalente al circuito I.- [(p q) q] ~p

mostrado:
II.- [(p q) p] q
p III [p (q ~q)] ~p

q a) Slo I b) Slo II c) Slo III

d) I y II e) Todas
r ~s
26).- Si: (x y) es falso y (x y) es verdadero;
a) p (r s) determina los valores de x e y.
b) (p q) (r ~s)
a) VF b) FV c) FF
c) (p q) (r ~s)
d) VV e) F.D.
d) (p q) (r ~s)
e) (p q) (r s) 27).- Si: (s t) es verdadero; (r s) es falso; (p q)
es falso; (q r) es verdadero. Determina los valores
19).- Halla el equivalente del circuito:
de: p, q, r, s y t respectivamente.

a) VFVFF b) VVVFF
c) VFFFF d) FFVFF
~q e) VFVVF
a) ~p b) ~q c) ~p ~q 28) Si: p * ~q = VFVF
d) p ~q e) p Luego (p*q)*q
a) ~p b) ~q c) p v q
21).- Simplifica a su mnima expresin:
d) 1 e)
(p ~q) ~ p
a) ~p b) p q
 III Bimestre
5 Lic: Jos Luis Paiva Mozo
Raz. Matemtico

29) Simplifique: r : Daniel es ingeniero.

Simboliza el enunciado:
Si no es el caso que Daniel sea un comerciante y
a) p q b) q c) p d) p q e) T un prspero industrial, entonces es ingeniero o no
es comerciante
a) ~(p q) (r p)
b) (~p q) (r p)
30) Simplificar :
a) (p r) b) p r c) p v q c) ~(p q) (r p)
d) ~(p q) (r ~p)
d) p e) p q
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)
28).- La siguiente proposicin: es una contingencia.

a) VVV b) VVF c) VFF

( p ~q) (t r) es falsa, Cules de las
d) VFV e) FVV
siguientes proposiciones son verdaderas?
42).- Construir una tabla de verdad para
I. ~p ~t, es falsa. (pq) (qr) (pr)
II. r (q t) es verdadera.
e indica de qu se trata:
III.- (p ~t) (r q), es verdadera.
a) Tautologa b) Contradiccin
a) Slo I b) Slo II
c) Composicin d) Contingencia
c) I y II d) I y III
e) Equipotencia
e) Todas

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) TAREA DOMICILIARIA
38).- Si las proposiciones:
p ~q; q p
2).- Construir una tabla de verdad para
p (p) ( q)
Son falsas, determina el valor de verdad de;
e indica de qu se trata:
I.- (q p) ~(q ~p)
II.- (q ~p) (q p) a) Tautologa b) Contradiccin
c) Composicin d) Contingencia
a) VV b) VF c) FV e) Equipotencia
d) FF e) N.A. 11).- Hallar la tabla de verdad de:
39).- Dado el conjunto: A = { 1; 2; 3; 4; 5 } : (pq) (pq) e indica de qu se trata:
decir el valor de verdad de: a) Tautologa b) Contradiccin
I.- x A/ x2 9 = 0 c) Composicin d) Contingencia
II.- x A/ x +3 > 7 e) Equipotencia
III.- x A/ x + 5 < 4 15).- Cules de las siguientes proposiciones son
a) VVV b) VFV c) VVF verdaderas?
d) VFF e) FFF I.- ( 3 + 7 10 ) ( 4 x 0 = 4 )
II.- ( 12 + 5 < 15 ) ( 5 > -10 )
40).- Dadas las siguientes proposiciones: III ( 7 x 1 = 7 ) ( 12 9 + 3 )
p : Daniel es comerciante.
q : Daniel es un prspero industrial.
a) I y II b) II y III c) Slo I
 III Bimestre
5 Lic: Jos Luis Paiva Mozo
Raz. Matemtico

d) Slo II e) Slo III (p ~q) (p ~q)

16).- Construir la tabla de verdad de la siguiente El nmero de valores verdaderos en el

proposicin compuesta: resultado es:
(~p q) (p q) y dar el resultado.
a) 0 b) 1 c) 2
a) FFVV b) FVVV c) FVVF d) 3 e) 4
d) VVVF e) VVFF

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