Clse 2 PDF

Lgica Matemtica y Conjuntos
Juan Carlos Damin Sandoval

Universidad San Martin de Porres
7 Marzo del 2016
J.C.Damin . S (USMP)
7 Marzo del 2016
1 / 16
LEYES LGICAS
Leyes Lgicas
Como en la clase anterior, existen frmulas cuyos resultados de los
valores de verdad son iguales para una misma forma de asignacin de
los valores de las variables proposicionales.
Diremos que son equivalentes y lo simbolizaremos con o con .
Estas frmulas se conocen como Leyes lgicas y alguna de ellas son:
7 Marzo del 2016
2 / 16
LOS TRES PRINCIPIOS LGICOS CLSICOS
7 Marzo del 2016
3 / 16

Ley de Identidad (Reflexiva)
p p;
pp
Una proposicin slo es idntica en s mismo.
7 Marzo del 2016
3 / 16

p p;
pp
Ley de no Contradiccin
(p p)
Una proposin no puede ser verdadera y falso a la vez.
7 Marzo del 2016
3 / 16

p p;
pp
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.
7 Marzo del 2016
3 / 16
EQUIVALENCIAS NOTABLES
7 Marzo del 2016
4 / 16
Ley de la doble negacin
7 Marzo del 2016
4 / 16
( p) p La negacin de la negacin es una afirmacin.
7 Marzo del 2016
4 / 16
La Idempotencia
7 Marzo del 2016
4 / 16
La Idempotencia
1. p p p
7 Marzo del 2016
4 / 16
La Idempotencia
1. p p p
2. p p p
En general:
7 Marzo del 2016
4 / 16
La Idempotencia
1. p p p
2. p p p
En general:
1. p p p p p p
7 Marzo del 2016
4 / 16
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
7 Marzo del 2016
4 / 16
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.
7 Marzo del 2016
4 / 16
7 Marzo del 2016
5 / 16
Leyes Conmutativas
7 Marzo del 2016
5 / 16
Leyes Conmutativas
1. p q q p
7 Marzo del 2016
5 / 16
Leyes Conmutativas
1. p q q p
2. p q q p
7 Marzo del 2016
5 / 16
Leyes Conmutativas
1. p q q p
2. p q q p
3. p M q q M p
7 Marzo del 2016
5 / 16
Leyes Conmutativas
1. p q q p
2. p q q p
3. p M q q M p
4. p q q p
7 Marzo del 2016
5 / 16
Leyes Conmutativas
1. p q q p
2. p q q p
3. p M q q M p
4. p q q p
La conjuncin, la disyuncin, disyuncin exclusiva y la bicondicional

de dos proposiciones son conmutativas.
7 Marzo del 2016
5 / 16
Leyes Conmutativas
1. p q q p
2. p q q p
3. p M q q M p
4. p q q p

Leyes Asociativas
7 Marzo del 2016
5 / 16
Leyes Conmutativas
3. p M q q M p
4. p q q p
1. p q q p
2. p q q p

Leyes Asociativas
1. p (q r ) (p q) r
7 Marzo del 2016
5 / 16
Leyes Conmutativas
3. p M q q M p
4. p q q p
1. p q q p
2. p q q p

Leyes Asociativas
1. p (q r ) (p q) r
2. p (q r ) (p q) r
7 Marzo del 2016
5 / 16
Leyes Conmutativas
3. p M q q M p
4. p q q p
1. p q q p
2. p q q p

Leyes Asociativas
1. p (q r ) (p q) r
2. p (q r ) (p q) r
3. p M (q M r ) (p M q) M r
7 Marzo del 2016
5 / 16
Leyes Conmutativas
3. p M q q M p
4. p q q p
1. p q q p
2. p q q p

Leyes Asociativas
1.
2.
3.
4.
p (q r ) (p q) r
p (q r ) (p q) r
p M (q M r ) (p M q) M r
p (q r ) (p q) r
7 Marzo del 2016
5 / 16
Leyes Conmutativas
3. p M q q M p
4. p q q p
1. p q q p
2. p q q p

Leyes Asociativas
1.
2.
3.
4.
p (q r ) (p q) r
p (q r ) (p q) r
p (q r ) (p q) r
Leyes Distributivas
7 Marzo del 2016
5 / 16
Leyes Conmutativas
3. p M q q M p
4. p q q p
1. p q q p
2. p q q p

Leyes Asociativas
1.
2.
3.
4.
p (q r ) (p q) r
p (q r ) (p q) r
p (q r ) (p q) r
Leyes Distributivas
1. p (q r ) (p q) (p r )
7 Marzo del 2016
5 / 16
Leyes Conmutativas
3. p M q q M p
4. p q q p
1. p q q p
2. p q q p

Leyes Asociativas
1.
2.
3.
4.
p (q r ) (p q) r
p (q r ) (p q) r
p (q r ) (p q) r
Leyes Distributivas
1. p (q r ) (p q) (p r )
2. p (q r ) (p q) (p r )
7 Marzo del 2016
5 / 16
7 Marzo del 2016
6 / 16
Leyes de Morgan
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)
Las Leyes del Condicional
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)

1. p q p q
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)

1. p q p q
2. (p q) p q
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)

1. p q p q
2. (p q) p q
Las Leyes del Bicondicional
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)

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

1. (p q) (p q) (q p) ( p q) ( q p)
7 Marzo del 2016
6 / 16
Leyes de Morgan
1. (p q) ( p q)
2. (p q) ( p q)

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

1. (p q) (p q) (q p) ( p q) ( q p)
2. (p q) (p q) ( p q) (p M q)
7 Marzo del 2016
6 / 16
7 Marzo del 2016
7 / 16
Leyes de la Absorcin
7 Marzo del 2016
7 / 16
1. p (p q) p
7 Marzo del 2016
7 / 16
1. p (p q) p
2. p ( p q) (p q)
7 Marzo del 2016
7 / 16
1. p (p q) p
2. p ( p q) (p q)
3. p (p q) p
7 Marzo del 2016
7 / 16
1.
2.
3.
4.
p (p q) p
p ( p q) (p q)
p (p q) p
p ( p q) p q
7 Marzo del 2016
7 / 16
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
7 Marzo del 2016
7 / 16
1.
2.
3.
4.
p (p q) p
p ( p q) (p q)
p (p q) p
p ( p q) p q
1. (p q) ( q p)
7 Marzo del 2016
7 / 16
1.
2.
3.
4.
p (p q) p
p ( p q) (p q)
p (p q) p
p ( p q) p q
1. (p q) ( q p)
2. (p q) ( q p)
7 Marzo del 2016
7 / 16
1.
2.
3.
4.
p (p q) p
p ( p q) (p q)
p (p q) p
p ( p q) p q
1. (p q) ( q p)
2. (p q) ( q p)
Leyes de Exportacin
7 Marzo del 2016
7 / 16
1.
2.
3.
4.
p (p q) p
p ( p q) (p q)
p (p q) p
p ( p q) p q
1. (p q) ( q p)
2. (p q) ( q p)
Leyes de Exportacin
1. (p q) r p (q r )
7 Marzo del 2016
7 / 16
1.
2.
3.
4.
p (p q) p
p ( p q) (p q)
p (p q) p
p ( p q) p q
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 )
7 Marzo del 2016
7 / 16
7 Marzo del 2016
8 / 16
Elementos Neutros para la Conjuncin y Disyuncin

Si V =verdadero(Tautologa=T) y F =falso(Contradiccin=C)
7 Marzo del 2016
8 / 16

1. T T T
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T
7 Marzo del 2016
8 / 16

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
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T

1. p C C
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T

1. p C C
2. C T T
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T

1. p C C
2. C T T
3. p T T
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T

1. p C C
2. C T T
3. p T T
Adems se tiene :
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T

1. p C C
2. C T T
3. p T T
Adems se tiene :
1. p p T
7 Marzo del 2016
8 / 16

1. T T T
2. T p p
3. C p C
4. C C C
5. C p p
6. T p T

1. p C C
2. C T T
3. p T T
Adems se tiene :
1. p p T
2. p p C
7 Marzo del 2016
8 / 16
Ejemplo
Reducir las siguientes frmulas, aplicando la leyes lgicas en forma
conveniente:
7 Marzo del 2016
9 / 16
Ejemplo
conveniente:
1. (p q)
7 Marzo del 2016
9 / 16
Ejemplo
conveniente:
1. (p q)
2. ( p q)
7 Marzo del 2016
9 / 16
Ejemplo
conveniente:
1. (p q)
2. ( p q)
3. [(p q) r ]
7 Marzo del 2016
9 / 16
Ejemplo
conveniente:
1. (p q)
2. ( p q)
3. [(p q) r ]
4. [p (q r )
7 Marzo del 2016
9 / 16
Ejemplo
conveniente:
1. (p q)
2. ( p q)
3. [(p q) r ]
4. [p (q r )
5. [p (q r )
7 Marzo del 2016
9 / 16
Ejemplo
Determina la menor expresin que representa al siguiente esquema
molecular:
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
Rta:F
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
Rta:F
4. [( p q) (r r )] q
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
Rta:F
4. [( p q) (r r )] q
Rta: q
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
Rta:F
4. [( p q) (r r )] q
Rta: q
5. [(p q) q] p
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
Rta:F
4. [( p q) (r r )] q
Rta: q
5. [(p q) q] p
Rta:V
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
Rta:F
4. [( p q) (r r )] q
Rta: q
5. [(p q) q] p
Rta:V
6. (p q) q
7 Marzo del 2016
10 / 16
Ejemplo
molecular:
1. [( p q) q]
{[ p ( q q)]} Asoc.
{ p q} Idemp.
( p) ( q) Morg.
p q doble Neg.
2. (p p) [p (q p)]
Rta:p
3. [(p p) p]
Rta:F
4. [( p q) (r r )] q
Rta: q
5. [(p q) q] p
Rta:V
6. (p q) q
7 Marzo del 2016
10 / 16
CUANTIFICADORES
7 Marzo del 2016
11 / 16
CUANTIFICADORES
Funcin Proposicional
7 Marzo del 2016
11 / 16
CUANTIFICADORES
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.
7 Marzo del 2016
11 / 16
CUANTIFICADORES
Ejemplo
7 Marzo del 2016
11 / 16
CUANTIFICADORES
Ejemplo
p(x ) : x + 8 > 15, es un enunciado abierto
7 Marzo del 2016
11 / 16
CUANTIFICADORES
Ejemplo
p(5) : 5 + 8 > 15, es una proposicin falsa.
7 Marzo del 2016
11 / 16
CUANTIFICADORES
Ejemplo
p(5) : 5 + 8 > 15, es una proposicin falsa.
p(9) : 9 + 8 > 15, es una proposicin verdadera.
7 Marzo del 2016
11 / 16
7 Marzo del 2016
12 / 16
Cuantificadores
7 Marzo del 2016
12 / 16
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.
7 Marzo del 2016
12 / 16
Cuantificadores
Cuantificador Universal
7 Marzo del 2016
12 / 16
Cuantificadores
Representado por se emplea para afirmar que todos los elementos
de un conjunto dado, cumplen con determinada funcin proposicional.
7 Marzo del 2016
12 / 16
Cuantificadores
De:x A : se lee: Para todo x que pertenece al conjunto A se
cumple que
7 Marzo del 2016
12 / 16
Cuantificadores
cumple que
Cuantificador Existencial
7 Marzo del 2016
12 / 16
Cuantificadores
cumple que
Representado por , se usa para indicar que al menos un elemento de
un conjunto cumple con determinada funcin proposicional.
7 Marzo del 2016
12 / 16
Cuantificadores
cumple que
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
7 Marzo del 2016
12 / 16
Negacin de los Cuantificadores
7 Marzo del 2016
13 / 16

[x A/p(x )] x A : p(x ) la negacin de una existencia
da un universal
7 Marzo del 2016
13 / 16

da un universal
[x A : p(x )] x A/ p(x ) la negacin de un universal da
un existencial
7 Marzo del 2016
13 / 16

da un universal
un existencial
Observacin
7 Marzo del 2016
13 / 16

da un universal
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 ).
7 Marzo del 2016
13 / 16

da un universal
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 ).
7 Marzo del 2016
13 / 16
EJERCICIOS
7 Marzo del 2016
14 / 16
EJERCICIOS
1. Consideremos el conjunto A = {x Z / 2 x 2},diga si
son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
1. x A/x + 3 A
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
1. x A/x + 3 A Rta:V
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9.
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5
2
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0.
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
=2
+1
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3.
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7.
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7. Rta:F
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7. Rta:F
10. x A : 2x + 4 6= 5.
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7. Rta:F
10. x A : 2x + 4 6= 5. Rta:V
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7. Rta:F
10. x A : 2x + 4 6= 5. Rta:V
11. x A/(x 2)(x 2 + 1) = 0
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7. Rta:F
10. x A : 2x + 4 6= 5. Rta:V
11. x A/(x 2)(x 2 + 1) = 0 Rta:V
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7. Rta:F
10. x A : 2x + 4 6= 5. Rta:V
11. x A/(x 2)(x 2 + 1) = 0 Rta:V
12. x A/x 2 8 4
7 Marzo del 2016
14 / 16
EJERCICIOS
su respuesta.
2. x A : x 2 + 2 > 9. Rta:F
3. x A : 2x 3 < 5 Rta:V
4. x A/ x 4
5 Rta:F
2
2
5. x A : x 3x + 2 = 0. Rta:F
6. x A/ xx 4
= 2 Rta:F
+1
2x +3
7. x A : x +1 = 3. Rta:F
8. x A/3x 2 > 3 Rta:V
9. x A : x 2 2 > 7. Rta:F
10. x A : 2x + 4 6= 5. Rta:V
11. x A/(x 2)(x 2 + 1) = 0 Rta:V
12. x A/x 2 8 4 Rta:V
7 Marzo del 2016
14 / 16
EJERCICIOS
7 Marzo del 2016
15 / 16
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.
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
2) x A : x 2 3 46
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
2) x A : x 2 3 46
3) x A/3x 1 = 8
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
2) x A : x 2 3 46
3) x A/3x 1 = 8
4) x A/ 2x23 > 10
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
2) x A : x 2 3 46
3) x A/3x 1 = 8
4) x A/ 2x23 > 10
5) x A : 4x5+1 < 5
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
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 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
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
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
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
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
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
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
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
7 Marzo del 2016
15 / 16
EJERCICIOS
1) x A : x 2 + 5 > 14
[x A : x 2 + 5 > 14] x A/x 2 + 5 14 Rta:V
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
7 Marzo del 2016
15 / 16
Bibliografa
1. ESPINOZA RAMOS,E.(2008). Matemtica Bsica.Lima:
Editorial Servicios Grficos.
2. FIGUEROA ROBERTO,(2004). Matemtica Bsica.Lima:
Editorial San Marcos.
3. VENERO B. ARMANDO,(2006) Matemtica Bsica.Lima:
Editorial Gemar.
7 Marzo del 2016
16 / 16

Clse 2 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Clse 2 PDF

Uploaded by

Copyright:

Available Formats

Lgica Matemtica y Conjuntos

Juan Carlos Damin Sandoval

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

LOS TRES PRINCIPIOS LGICOS CLSICOS

Lgica Matemtica y Conjuntos

7 Marzo del 2016

LOS TRES PRINCIPIOS LGICOS CLSICOS

Lgica Matemtica y Conjuntos

7 Marzo del 2016

LOS TRES PRINCIPIOS LGICOS CLSICOS

Lgica Matemtica y Conjuntos

7 Marzo del 2016

LOS TRES PRINCIPIOS LGICOS CLSICOS

Ley del Tercio Excluido

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

Lgica Matemtica y Conjuntos

7 Marzo del 2016

La conjuncin, la disyuncin, disyuncin exclusiva y la bicondicional

Lgica Matemtica y Conjuntos

7 Marzo del 2016

La conjuncin, la disyuncin, disyuncin exclusiva y la bicondicional

Lgica Matemtica y Conjuntos

7 Marzo del 2016

La conjuncin, la disyuncin, disyuncin exclusiva y la bicondicional

Lgica Matemtica y Conjuntos

7 Marzo del 2016

La conjuncin, la disyuncin, disyuncin exclusiva y la bicondicional

Lgica Matemtica y Conjuntos

7 Marzo del 2016

La conjuncin, la disyuncin, disyuncin exclusiva y la bicondicional