LGICA PROSICIONAL

Proposicin: es un enunciado que tiene un valor de verdad, puede ser

verdadero o falso, pero no ambos a la vez.
Ejemplos:
Jos ingres a la UNI... (F)
La pizarra es verde (V)
El tringulo tiene tres lados (V)
Clasificacin:

Proposicin Simple: es aquella proposicin que no se puede

descomponer en otras proposiciones.

Ejemplo: La Tierra es un planeta.

Proposicin compuesta: es aquella que contiene otras proposiciones.

Ejemplo: Lima es la capital de Per y Santiago es la capital de Chile.

NOTACIN: generalmente una proposicin se denota con la letra minscula a
partir de la p.
Ejemplos:
p= Amrica es un continente
q= China es un pas
Conectores: son smbolos que unen proposiciones
y
vo
sientonces
si y solo si

~no
Ejemplos:
pq
pvq
p q
p q
p q

CONJUNCIN DE PROPOSICIONES
Es otra proposicin cuando el valor de verdad se considera verdadera cuando
las dos proposiciones que las componen son verdaderas y en el resto de los
casos son falsas.
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

DISYUNCIN DE PROPOSICIONES
Es otra proposicin cuyo valor de verdad se considera falso cuando las dos
proposiciones que las componen son falsas y en el resto de los casos son
verdaderas.
p
V
V
F
F

q
V
F
V
F

pvq
V
V
V
F

CONDICIONAL DE PROPOSICIONES
Es otra proposicin denotada por p en el que su valor de verdad se considera
falas cuando p verdadera y q es falsa.
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

BICONDICIONAL DE PROPOSICIONES
Es otra proposicin denotada por p q en el que su valor de verdad se
considera verdadera cuando las dos proposiciones tienen el mismo valor de
verdad.
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
V

DISYUNCIN FUERTE DE PROPOSICIONES

Es otra proposicin denotada por pq en el que su valor de verdad se

considera falsa cuando las dos proposiciones tienen el mismo valor de verdad.
p
V
V
F
F

q
V
F
V
F

p q
F
V
V
F

NEGACIN DE UNA PROPOSICION

E otra proposicin en el que su valor de verdad es contraria a la de la
proposicin en el que se le ha antepuesto el adverbio de negacin.
Ejemplo: ~p se lee no p
p

~
p
V F
F V
PROBLEMAS:
1. Analizar si la siguiente proposicin [(p q) ~p] # [(p #q) v ~q] es tautologa,
contradiccin o contingencia, donde # es un operador lgico definido por:
p #q ~p ~q
Solucin:
[(p q) ~p] # [(p # q) v ~q]condicional y definicin de #
[~ (p q) v ~p] # [(~p ~q) v ~q]Morgan y condicional
[(~p v ~q) v ~p] # [ (~(~p) v ~q) v ~q) v ~q] conmutativa y negacin
[(~q v ~p) v ~p] # [(p v ~q) v ~q]asociativa
[ ~q v ( ~p v ~p)] # [p v (~q v ~q)] idempotencia
[~q v ~p] # [p v ~q] definicin de #
~[ ~q v ~p] ~[p v ~q]condicional
~{~[ ~q v ~p]} v ~[p v ~q]negacin y Morgan
{ ~q v ~p} v [ ~p q]asociativa
~q v {~p v [~p q]}absorcin
~q v ~pMorgan
~(q p)conmutativa
~(p q)

2. Simplificar: r {[(p q) q] [~p (q p)]}

Solucin:
r {[(p q) q] [~p (q p)]} condicional
r {[(~p v q) q] [~p (~q v p)]} Morgan
r {[(p ~q) v q] [~p ~q]} semiabsorcin
r {[p v q] [~p ~q]}Morgan
r {[p v q] ~ [p v q]} otras
r Fcondicional
~r v Fcondicional
~r

3.
m: ~p ~q
n: [~m ~( p v q)] v [ p (~p q r)]
t: [~ (p ~q) r] [ ~ (p ~q) ~r ]
Donde q v ( ~p r) es tautologa.
Analizar si ~(n m) t es tautologa, contradiccin o contingencia.
Solucin:
m:
~p ~qbicondicional
(~p v ~q) (~q ~p)condicional
[~(~p) v ~q] [ ~(~q) v (~p)]negacin
[(p v ~q) [q v ~p]distributiva
[(p v ~q) q] v [(p v ~q) ~p]semiabsorcin
(p q) v (~p ~q)Morgan
(p q) v ~(p v q)
n:
[~m ~( p v q)] v [ p (~p q r)]bicondicional y condicional
{[~m ~( p v q)] [~(p v q) ~m]} v [~p v (~p q r)]condicional y
absorcin
{[m v ~( p v q)] [(p v q) v ~m]} v ~p

Reemplazando m:
{[((p q) v ~ (p v q)) v ~ (p v q)] [(p v q) v ~ ((p v q) v ~ (p v q))]} v ~p
...idempotencia
{[(p q) v ~ (p v q)] [(p v q) v (~ (p q) (p v q))]} v ~pabsorcin
{[(p q) v ~ (p v q)] [p v q]} v ~psemiabsorcin y asociativa
{[((p v q) q) p} ~pabsorcin
{q p} v ~psemiabsorcin
~p v q
t:
[~ (p ~q) r] [~ (p ~q) ~r]condicional y bicondicional
[~ (~p v ~q) r] [~ [(p ~q) (~q p)] ~r]condicional
[(~p v ~q) v r] [~ [(~p v ~q) (q v p)] ~r]condicional
[(~p v ~q) v r] [[(~p v ~q) (q v p)] v ~r]distributiva
[(~p v ~q) v r] [[(~p v ~q) v ~r] [(q v p) v ~r]]antidistributiva
{(~p v ~q)} v [r ~r]} [(q v p) v ~r]
{(~p v ~q)} v F} [(q v p) v ~r]
(~p v ~q) [(q v p) v ~r]
Luego:
~(n m) t
~(~n v m) t
Reemplazando n y m:
~ {~ (~p v q) v [(p q) v ~ (p v q)]} t
~ {(p v ~q) v [(p q) v (~p v ~q)]} t
~ {p (~q v q) v (~p ~q)} t
~ {(p V) v (~p ~q)} t
~ {p v (~p ~q)} t
~ {(p v ~q)} t
(~p q) tbicondicional
[(~p q) t] [t (~p q)]condicional
[~(~p q) v t] [~t v (~p q)]Morgan
[(p v ~q) v t] [~t v (~p q)]

Reemplazando t:
{(p v ~q) v [(~p v ~q) (q v p v ~r)]} {~ {[(~p v ~q) (q v p v ~r)]} v (~p q)}
distributiva y Morgan
{[(p v ~q) v (~p v ~q)] [(p v ~q) v (q v p v ~r)]} {[~ (~p v ~q) v ~ (q v p v ~r)] v
(~p q)}Morgan
{[p v ~q v ~p v ~q] [p v ~q v q v p v ~r]} {(p q) v (~p ~q r) v (~p q)}
conmutativa, conmutativa
{[(p v ~p) v (~q v ~q)] [(p v p) v (~q v q) v ~r]} {(p q) v (~p q) v (~p ~q
r)}otra propiedad, idempotencia y antidistributiva
[V v ~q] [ p v V v ~r] { q (p v ~p) v (~p ~q r)}otras propiedades
[V v V] {(q v V) v (~p ~q r)}otra propiedad
V {q v (~p ~q r)}otra propiedad
q v (~p ~q r)conmutativa
q v (~q (~p r))semiabsorcin
q v (~p r)por dato es un tautologa
V

CONJUNTO
Es una relacin, agrupacin o reunin de cosas u objetos abstractos al que lo
llamamos elementos.
Ejemplos:
A aei

B mqr

ou

NOTA: Un conjunto se denota generalmente con letra mayscula y sus

elementos con letra minscula.
Otras formas de presentar un conjunto:
A= {a, e, i, o, u}
B= {m, q, r, s}
RELACIN DE PERTENENCIA
Se establece entre conjuntos y elementos, nos indica si un elemento o varios
elementos van a pertenecer a un conjunto.
Ejemplo:

aA
Se lee: el elemento a pertenece al conjunto A
mA
Se lee: m no es elemento del conjunto A
DETERMINACIN DE UN CONJUNTO
Consiste en precisar correctamente que elementos forman parte de un
conjunto:
Existen dos formas:

Por extensin
Por comprensin

Determinacin por extensin:

Se indica a todos y cada uno de los elementos.
A= {a, e, i, o, u}
Determinacin por comprensin:
Se enuncia una cualidad o caracterstica de todos los elementos de un
conjunto.
A= {x/x es una vocal}

CONJUNTOS ESPECIALES
1. Conjunto vaco: no tiene elemento o elementos.
Ejemplo: = {{}}
Observacin: el conjunto vaco generalmente se denota por .
2. Conjunto unitario: es el conjunto que tiene solo un elemento.
Ejemplo: C= {2}
3. Conjunto universal: es el conjunto que posee todos los elementos.
Ejemplo: U= {a, 1, 0

Observacin: se puede considerar ciertos universos de acuerdo a la

utilidad o estudio de un determinado tema.
U1= {conjunto formado por todo ganado vacuno}
U2= {conjunto formado por todos los perros}
4. Conjunto finito: es el conjunto cuyos elementos s se puede finalizar en
contar.

Ejemplo: D= {p, q, r, t}
5. Conjunto infinito: es el conjunto cuyos elementos no se puede finalizar
en contar.
Ejemplo:
Z= {-2, -1, 0, 1, 2}
N= {1, 2, 3,}
RELACIN ENTRE CONJUNTOS
1. Igualdad de conjuntos: se dice que dos conjuntos son iguales cuando
tienen los mismos elementos.
Ejemplo:
E= {3, 8, 9}
F= {3, 8, 9}
Se observa que tienen los mismo elementos 3, 8, 9 por lo tanto se dice que
E=F
Observacin: en el fondo se trata del mismo conjunto, pero con diferente
notacin.
2. Inclusin de conjuntos: sean A y B dos conjuntos, A incluido en B,
denotado por A B es una relacin entre conjuntos en donde todos los
elementos del conjunto A, son tambin elementos del conjunto B.
Observacin: se dice que el conjunto vaco est incluido en todo conjunto.
Ejemplo:
E= {3, 8,9}
G= {3, 8, 9, 15}
Todos los elementos de F, es decir, 3, 8, 9 son tambin elementos de G por
lo tanto FG

OPERACIONES ENTRE CONJUNTOS

Es el proceso en el que a partir de 1 o 2 conjuntos se puede obtener un nuevo
conjunto.
Tipo de operaciones:
1. Unin de conjuntos: sean A y B dos conjuntos, la unin de dos conjuntos
A y B genera un nuevo conjunto denotado por A U B que se lee A unin
B cuyos elementos son todos los elementos de los dos conjuntos.
Ejemplo:

A= {a, e, i, o, u}
B= {m, n, s}
Entonces A U B= {a, e, i, o, u, m, n, s}
2. Interseccin de conjuntos: sean A y B dos conjuntos, la interseccin de
dos conjuntos A y B genera un nuevo conjunto denotado por AB que
se lee A interseccin B cuyos elementos son los elementos comunes de
los dos conjuntos.
Ejemplo:
E= {3, 8, 9}
G={3, 8, 9, 15}
Entonces EG= {3, 8, 9}
3. Diferencia de conjuntos: sean A y B dos conjuntos, la diferencia de dos
conjuntos A y B genera un nuevo conjunto denotado por A-B, que se lee
A menos B cuyos elementos son todos los elementos de A que no son
de B.
Ejemplo:
G={3, 8, 9, 15}
F= {3, 8, 9}
Entonces G-F= {15}
4. Diferencia simtrica: sean A y B dos conjuntos, la diferencia simtrica de
dos conjuntos A y B genera un nuevo conjunto denotado por AB que se
lee diferencia simtrica de A y B cuyos elementos son todos los
elementos de los dos conjuntos pero no los comunes.
Ejemplo:
H= {3, 5, 7, 9, 11}
I= {2, 3, 7, 10, 12}
Entonces HI= {2, 5, 9, 10, 11, 12}
A continuacin se definir un nuevo conjunto a partir de la diferencia de
conjuntos:
Complemento de un conjunto:
Sean U y A dos conjuntos donde U es el conjunto universal.
El complemento de A denotado por A o Ac se define:
Ac= U-A
Ejemplo: sea U= R y A= {x/x es par} , Ac= R-A

PROPIEDADES:
1. Idempotencia:
AA= A
AA= A
2. Conmutativa:
AB= BA
AB= BA
3. Asociativa:
(AB)C= A(BC)= ABC
(AB)C= A(BC)=ABC
(AB)C= A(BC)=ABC
4. Distributiva:
A(BC)= (AB)(AC)
A(BC)= (AB) (AC)
5. Antidistributiva:
(AB)(AC)= A(BC)
(AB) (AC)= A(BC)
6. Morgan:
(AB)c=AcBc
(AB)c= Ac Bc
7. Absorcin:
A(AB)= A
A(AB)=A
8. Semiabsorcin:
A (AcB)= AB
A(Ac B)= AB
9. Diferencia:
A-B=ABc
10. Diferencia simtrica:

AB=(A-B)(B-A)
AB=( AB)-(AB)
AcBc=AB
11. Universal:
AU=U
AU=A
AAc=U
Uc=
12. Vaco
A =A
A =
AAc=
c=U
13. Inclusin:
A (AB)
AB A
ABB
Si AB entonces ABc=
Si AB entonces BcAc
AB si y solo si AB=B
AB si y solo si AB=A
SUBCONJUNTO
Sean A y B dos conjuntos se dice que A es subconjunto de B cuando A est
incluido en B, es decir, todos los elementos de A son tambin de B.
Ejemplos:
E= {3, 8, 9}
G= {3, 8, 9, 15}
E es un subconjunto de G porque todos los elementos de E son tambin de G.
Clasificacin:

Subconjunto propio: de todos los subconjuntos de A, se llama

subconjunto propio a aquel subconjunto que no es A.

Subconjunto no propio: un subconjunto no propio de A es el mismo.

CONJUNTOS ESPECIALES:
1. Conjunto producto cartesiano: sean A y B dos conjuntos, el conjunto
producto cartesiano de A por B denotado pos AxB es otro conjunto
denotado de la siguiente forma:
AxB= {(x,y)/ x A y B}
Ejercicio:
Si: J= {m, n}
K= {1,2}
Hallar JxK
Solucin:
JxK= {(m,1), (m,2), (n,1), (n,2)}
Ejercicio:
Hallar los subconjuntos de JxK de J= {m, n}, K= {1,2}
Solucin:
Sabemos que:
JxK= {(m,1), (m,2), (n,1), (n,2)}
{(m,1), (m,2), (n,1), (n,2)}
{(m,1), (m,2), (n,1)}
{(m,1), (n,1), (n,2)}
{(m,2), (n,1), (n,2)}
{(m,1), (m,2), (n,2)}
{(m,1), (m,2)}
{(m,1), (n,1)}
{(m,1), (n,2)}
{(n,1), (n,2)}
{(m,2), (n,2)}
{(m,2), (n,1)}
{(m,1)}
{(m,2)}
{(n,1)}

{(n,2)}
{}
2. Conjunto potencia: sea A un conjunto, el conjunto potencia de A,
denotado por P(A) se define como un nuevo conjunto, cuyos elementos
son todos los subconjuntos de A,
Ejercicio:
Hallar el conjunto potencia de B= {m, n, s}
Solucin:
Los subconjuntos de B son:
{m, n, s}
{m, n}
{m, s}
{n, s}
{m}
{n}
{s}
{}
Entonces el conjunto potencia de B es:
P(B)= {{m, n, s}, {m, n}, {m, s}, {n, s}, {m}, {n}, {s}, {}}
Observacin: el conjunto potencia de A se puede denotar por 2 n donde n
representa el nmero de elementos de A y el valor de 2 n es exactamente el
nmero de elementos de P(A).
PROPIEDADES:
P(A) P(B) P(AB)
P()= {}
a A {a} P(A)
a B A P(B)
A=B P(A)=P(B)
P(AB)=P(A) P(B)
Ejercicio:
Usando elementos demostrar que:
P(A) P(B) P(AB)

Solucin:
Sea
x P(A) P(B)
x P(A) v x P(B)
x A v x B
x (AB)
x P(AB)
lqqd.
Ejercicio:
Demostrar que:
(AB) (BC)= (ABC) (ABC)
Demostracin:
(AB) (BC)= ((A-B) (B-A)) ((B-C) (C-B))propiedad de la
diferencia simtrica
= (ABc) (BAc) (BCc) (CBc)propiedad de la diferencia
= (ABc) (CBc) (BAc) (BCc)conmutativa
= (BcA) (BcC) (BAc) (BCc) conmutativa
= (Bc (AC)) (B (Ac Cc)antidistributiva
= [(Bc (AC)) B] [(Bc (AC)) (Ac Cc)]distributiva
= [(AC)B] [(Bc (Ac Cc)) ((AC) (Ac Cc))]semiabsorcin
= [ACB] [(Bc Ac Cc) (A Ac C Cc))]asociativa
= [ABC] [ (ABC)c U]Morgan
= [ABC] (ABC)cuniverso
= [ABC] - (ABC)propiedad de la diferencia simtrica
Lqqd.

TEOREMA:
a.0=a.0
a.0=a.0 +0
a.0=a.0 + a + -a
a.0=a.0 + a.1 + -a

a.0=a(0+1) + -a
a.0=a.1 + -a
a.0=a + -a
a.0=0
TEOREMA:
(-1)a=-a
Demostracin
(-1)a=(-1)a
(-1)a=(-1)a + 0
(-1)a=(-1)a + a + -a
(-1)a=(-1)a + a.1 + -a
(-1)a=a(-1 +1) + -a
(-1)a=a.0 + -a
(-1)a=0 +-a
(-1)a= -a
TEOREMA:
-(-a)=a
-(-a)= -(-a)
-(-a)= -(-a)+ 0
-(-a)= -(-a)+ a + -apor propiedad de (-1)a=-a
-(-a)= (-1)(-a)+ a + -a
-(-a)= (-a)(-1 +1) +a
-(-a)= (-a)(0) + a
-(-a)=0 + a
-(-a)=a
TEOREMA:
(-a)b=-(ab)=a(-b)
Demostracin:
(-a)b=(-1)ab por teorema: (-1)a=-a
(-a)b=(-1)(ab)

(-a)b=-(ab) lqqd
(-a)b=(-1)ab por teorema: (-1)a=-a
(-a)b=a(-1)b conmutativa
(-a)b= a((-1)b) por teorema: (-1)a=-a
(-a)b= a(-b) lqqd
TEOREMA:
(-a)(-b)=(ab)
Demostracin 1:
(-a)(-b)=(-1)a(-1)b
(-a)(-b)=(-1)(-1)ab
(-a)(-b)=((-1)(-1))(ab)
(-a)(-b)=((-1)(-1) + 0)(ab)
(-a)(-b)=((-1)(-1) + 1 + -1)(ab)
(-a)(-b)=((-1)(-1+ 1) + 1)(ab)
(-a)(-b)=((-1)(0) + 1)(ab)
(-a)(-b)=(0+ 1)(ab)
(-a)(-b)=1(ab)
(-a)(-b)=ab lqqd
Demostracin 2:
(-a)(-b)=(-1)a(-b)
(-a)(-b)=(-1)(-b)a por (-1)a=-a
(-a)(-b)=-(-b)a por teorema (-a)=a
(-a)(-b)=ba conmutativa
(-a)(-b)=ab lqqd
En adelante la expresin a + -b lo denotaremos por a - b
Es decir: a + -b= a-b
De igual manera, la expresin a.b-1 lo denotaremos por ab o

Es decir: a.b-1= ab o

a
b

a
b

4
Ejemplo: 2 = 4.2-1
4
-1
2 =2.2. 2
4
2 =2.1
4
2 =2
TEOREMA:
a-1.b-1=(ab)-1
Demostracin:
a-1.b-1=( a-1.b-1).1
a-1.b-1=( a-1)(b-1).(ab)(ab)-1
a-1.b-1= a-1.b-1.ab.(ab)-1
a-1.b-1= a-1.a.b-1.b.(ab)-1
a-1.b-1=1.1.(ab)-1
a-1.b-1=(ab)-1 lqqd
TEOREMA:
a
b

C
b

a+c
b

ad+ bc
bd

TEOREMA:
a
b

C
d

Demostracin:
a
b

C
d

= ab-1 + cd-1

a
b

C
d

= ab-1.dd-1 + cd-1.bb-1 conmutativa

a
b

C
d

= ad.b-1d-1 + bc.b-1d-1

a
b

C
d

= (ad + bc)b-1d-1

a
b

C
d

= (ad + bc)(bd)-1

a
b

C
d

ad+ bc
bd

lqqd

TEOREMA:
a < b c<0 a.c > b.c
Demostracin:
a<b

c<0

a<b

0<-c

a(-c) < b(-c)

-(ac) < -(bc)
bc < ac lqqd
TEOREMA:
ab < 0 ( a<0 b>0) v (a>0 b<0)
TEOREMA:
ab = 0 ( a=0 b=0) v ( a=0 b=0)
Demostracin:
1) ab = 0
ab.b-1= 0.b-1
a=0
2) ab = 0
ab.a-1= 0.a-1
1.b= 0
b=0
TEOREMA:
a2= b2 ( a=b) v (a=-b)
Demostracin:

(a+b)(a-b)=0
a+b=0 v a-b=0
a= -b

v a=b

DEFINICIONES:
Si: 0<a entonces a se denomina positivo
Si: a<0 entonces a se denomina negativo
TEOREMA:
b<a -b> -a
Demostracin:
Dato: b<a por la propiedad b<a b+c < a+c
-a + -b +b < a + -a + -b
-a +0 < 0 + -b
-a < -b lqqd
TEOREMA:
0 < a < b 0 < c < d ac < bd
Demostracin:
1. Datos: a<b 0<c
ac < bc
2. Datos: c <d 0<b
bc < bd
en los dos casos se usa la propiedad a<b 0<c ac<bc
Ahora de 1 y 2:
Por la propiedad transitiva: a<b b<c a<c
Se tiene ac < bd lqqd
TEOREMA:
a0 0< a2
Demostracin:
1.0 <a
0.a < a.a
0 < a2

2.a <0
(-a)a < (-a)0
- a2 <0
a2 + - a2 < 0 + a2
0 < a2
a0 0< a2 lqqd

Por lo tanto:
TEOREMA:
a=0 0= a2
Demostracin:
a=0
a.a = 0.a
a2 =0 lqqd
TEOREMA:

El inverso multiplicativo de a si existe, tiene el mimo signo que a.

Es decir:
0<a 0< a-1
a <0 a-1 < 0
Demostracin:
I Parte
0< (a-1)2

0<a (Dato)

0< (a-1) (a-1) pero 0<a, entonces se multiplica por a a ambos miembros
a.0< a. a-1.a-1
0< 1. a-1
0< a-1 lqqd
II parte
0< (a-1)2

a<0 (Dato)

0< (a-1)2

0<-a

(-a)< (a-1)2 .(-a)

0< (-a). a-1 . a-1
0< -(a. a-1). a-1

0<-1. a-1
0< a-1
a-1 + 0 < a-1 + - a-1
a-1 <0 lqqd
TEOREMA:
0< ab (0<a 0<b) v ( a<0 b<0)
Demostracin:
I parte:
0<a dato 0< ab
0< a-1 a-1.0< a-1.ab
0<1.b
0<b lqqd
II parte:
a<0

dato 0< ab

0 < - a-1

(- a-1).0 < (- a-1)ab

0< -( a-1.a)b
0<-1.b
0<-b
b<0 lqqd

TEOREMA:
ab <0 (0<a b<0) v ( a<0 0<b)
Demostracin:
I parte:
0<a dato ab <0
0< a-1 a-1.ab < a-1.0
1.b<0
b<0 lqqd
II parte:
a<0
0 < - a-1

dato ab <0
(- a-1)ab< (- a-1).0

-( a-1.a)b <0
-1.b <0
-b <0
0<b lqqd