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 clasicar 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 (Reexiva)
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 armacin.

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 )
Lgica Matemtica y Conjuntos Marzo del 2014 5 / 15

J.C.Damin . S (USMP)

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

J.C.Damin . S (USMP)

Lgica Matemtica y Conjuntos

Marzo del 2014

10 / 15

Cuanticadores
Los cuanticadores 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.

Cuanticador Universal
Representado por se emplea para armar 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

Cuanticador 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 Cuanticadores

[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, justicando su respuesta. 1. x A/x + 4 A 2. x A : x 2 + 3 > 7. 4 3. x A/ x 8 2 4. x A : x 2 5x 6 = 0. x 4 =6 5. x A/ x +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 = 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 3 4) x A/ 2x2 > 10 4x +1 5) x A : 5 < 5 6) x A/(x 6)(x + 9) = 0 7) x A : 2x 3 = 26 8) x A/5x + 3 = 10 9) x A : 2x 1 = 25 10) x A/5x 1 > 14 2 11) x A : x =2 x 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 Grcos 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