Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Clase 2
Clase 2
J.C.Damin . S (USMP)
1 / 15
J.C.Damin . S (USMP)
2 / 15
Ley de no Contradiccin
(p p)
Una proposin no puede ser verdadera y falso a la vez.
3 / 15
EQUIVALENCIAS NOTABLES
Ley de la doble negacin
( p) p La negacin de la negacin es una afirmacin.
La Idempotencia
1. p p p
2. p p p
En general:
1. p p p p p p
2. p p p p p p
Las variables redundantes es una cadena de conjunciones o en una
cadena de disyunciones, se eliminan.
J.C.Damin . S (USMP)
4 / 15
Leyes Conmutativas
1. p q q p
2. p q q p
3. p q q p
La conjuncin, la disyuncin y la bicondicional de dos proposiciones
son conmutativas.
Leyes Asociativas
1. p (q r ) (p q) r
2. p (q r ) (p q) r
3. p (q r ) (p q) r
Leyes Distributivas
1.
2.
3.
4.
p (q r ) (p q) (p r )
p (q r ) (p q) (p r )
p (q r ) (p q) (p r )
p (q r ) (p q) (p r )
J.C.Damin . S (USMP)
5 / 15
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)
J.C.Damin . S (USMP)
6 / 15
Leyes de la Absorcin
1.
2.
3.
4.
p (p q) p
p ( p q) (p q)
p (p q) p
p ( p q) p q
Leyes de Transposicin
1. (p q) ( q p)
2. (p q) ( q p)
Leyes de Exportacin
1. (p q) r p (q r )
2. (p1 p2 p3 . . . pk ) r [(p1 p2 p3 . . .pk1 )] (pk r )
J.C.Damin . S (USMP)
7 / 15
8 / 15
Ejemplo
Determina la menor expresin que representa al siguiente esquema
molecular:
1. [( p q) (r r )] q
2. (p q) q
3. (p q) p
4. [ (p q) (q p)] (p q)
5. [(p q) (p q)] ( p q)
J.C.Damin . S (USMP)
9 / 15
CUANTIFICADORES
Funcin Proposicional
La funcin proposicional es un enunciado abierto de la forma p(x ), es
decir, se trata de una expresin que contiene alguna variable que al
ser sustituida por un valor particular se convierte en proposicin.
Ejemplo
p(x ) : x 2 + 3 > 15, es un enunciado abierto
p(3) : 32 + 3 > 15, es una proposicin falsa.
p(5) : 52 + 3 > 15, es una proposicin verdadera.
J.C.Damin . S (USMP)
10 / 15
Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
funcin proposicional en una proposicin para lo cual su misin es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
funcin proposicional.
Cuantificador Universal
Representado por se emplea para afirmar que todos los elementos
de un conjunto dado, cumplen con determinada funcin proposicional.
De:x A : se lee: Para todo x que pertenece al conjunto A se
cumple que
Cuantificador Existencial
Representado por , se usa para indicar que al menos un elemento de
un conjunto cumple con determinada funcin proposicional.
De:x A/ se lee: Existe algn x que pertenece al conjunto A tal
que se cumple que
J.C.Damin . S (USMP)
11 / 15
Observacin
En general, la proposicin universal x A : p(x ) es verdadera si la
propiedad p(x ) lo es, es decir, si cumple con cada uno de los
elementos A y es falso si hay al menos un elemento de A que no
cumple la propiedad p(x ).
En general, la proposicin existencial x A : p(x ) es verdadera si
en A hay al menos un elemento x que cumple p(x ), y es falsa si
ningn elemento de A cumple con p(x ), esto es todo elemento de A
no cumple p(x ).
J.C.Damin . S (USMP)
12 / 15
EJERCICIOS
1. Consideremos el conjunto A = {x Z / 3 x 3},diga si
son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. x A/x + 4 A
2. x A : x 2 + 3 > 7.
3. x A/ x 4
8
2
4. x A : x 2 5x 6 = 0.
4
=6
5. x A/ xx +1
3x +2
6. x A, x +1 = 8.
7. x A/2x 1 > 3
8. x A, x 2 3 > 5.
9. x A, 2x + 4 6= 5.
10. x A/(x + 2)(x 2 + 1) = 0
11. x A/x 2 8 4
J.C.Damin . S (USMP)
13 / 15
EJERCICIOS
2. Dado el conjunto A = {2, 1, 0, 1, 3, 4, 5, 7} negar cada una de
las siguientes proposiciones y dar su valor de verdad.
1) x A : x 2 + 5 > 14
2) x A : x 2 3 46
3) x A/3x 1 = 8
4) x A/ 2x23 > 10
5) x A : 4x5+1 < 5
6) x A/(x 6)(x + 9) = 0
7) x A : 2x 3 = 26
8) x A/5x + 3 6= 10
9) x A : 2x 1 = 25
10) x A/5x 1 > 14
11) x A : xx 2
=2
4
J.C.Damin . S (USMP)
14 / 15
Bibliografa
1. LAZARO CARRION, MOISES; Lgica y teora de conjuntos.
Editorial Moshera Lima 2009
2. FIGUEROA ROBERTO, Matemtica Bsica. Editorial San
Marcos. Lima 2004
3. ESPINOZA RAMOS,E.(2002). Matemtica Bsica. Editorial
Servicios Grficos JJ. Per.
4. VERA G. CARLOS, Matemtica Bsica. Editorial Moshera Lima
2009.
5. VENERO B. ARMANDO, Matemtica Bsica. Editorial Gemar
Lima 1998.
J.C.Damin . S (USMP)
15 / 15