Lgica Matemtica y Conjuntos

Juan Carlos Damin Sandoval

Universidad San Martin de Porres

Marzo del 2014

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

1 / 15

PRINCIPALES LEYES LGICAS O

TAUTOLOGAS
En la lgica existen los llamados PRINCIPIOS LGICOS o LEYES
LGICA que vienen a ser FORMAS PROPOSICIONALES
TAUTOLGICAS de carcter general. A partir de las Leyes Lgicas
se pueden generar otras tautologas y a la vez cualquier tautologa se
puede reducir a una de las leyes Lgicas". Las Principales Leyes
Lgicas las podemos clasificar en tres grupos:
. Leyes Lgicas Clsicas.
. Equivalencias Notables.
. Implicaciones Notables.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

2 / 15

LOS TRES PRINCIPIOS LGICOS CLSICOS

Ley de Identidad (Reflexiva)
p p;
pp
Una proposicin slo es idntica en s mismo.

Ley de no Contradiccin
(p p)
Una proposin no puede ser verdadera y falso a la vez.

Ley del Tercio Excluido

p p
Una proposicin o es verdadera o es falsa, no hay una tercera
posibilidad.
J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

5 / 15

Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)

las Leyes del Condicional

1. p q p q
2. (p q) p q

las Leyes del Bicondicional

1. (p q) (p q) (q p)
2. (p q) (p q) ( p q) (p M q)

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

7 / 15

Elementos Neutros para la Conjuncin y Disyuncin

Si V =verdadero(Tautologa=T) y F =falso(Contradiccin=C)
1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T

Elementos Neutros para la Contradiccin y Tautologa

1. p C C
2. C T T
3. p T T
Adems se tiene :
1. p p T
2. p p C
J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

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, es una proposicin falsa.
p(5) : 52 + 3, es una proposicin verdadera.

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

11 / 15

Negacin de los Cuantificadores

[x A/p(x )] x A : p(x ) la negacin de una existencia
da un universal
[x A : p(x )] x A/ p(x ) la negacin de un universal da
un existencial

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

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)

Lgica Matemtica y Conjuntos

Marzo del 2014

15 / 15