Vous êtes sur la page 1sur 16

L´ogica proposicional y conjuntos

L´ogica proposicional y conjuntos Nivelaci´on en Matem´aticas 2018-1
L´ogica proposicional y conjuntos Nivelaci´on en Matem´aticas 2018-1

Nivelaci´on en Matem´aticas

2018-1

L´ogica Definici´on Una proposici´on es un enunciado que puede ser verdadero o falso pero no

L´ogica

Definici´on

Una proposici´on es un enunciado que puede ser verdadero o falso pero no ambos a la vez.

Los siguientes enunciados son ejemplos de proposiciones:

1
1

Jose y Manuel son ni˜nos.

2
2

No es cierto que en invierno hace fr´ıo.

3
3

Termin´e la tarea

Apuntes

Apuntes

 

Apuntes

Proposiciones compuestas

 
1
1

La negaci´on de una proposici´on p, es la nueva proposici´on “no p ” y es denotada por ¬p.

 
2
2

La conjunci´on de dos proposiciones p, q es la nueva proposici´on “p y q” y es denotada por p q.

 
3
3

La disyunci´on de dos proposiciones p, q es la nueva proposici´on “p o q” y es denotada por p q.

 
4
4

La disyunci´on exclusiva de dos proposiciones p, q es la nueva proposici´on “O p o q (pero no ambas al mismo tiempo)” y es denotada por p q.

 
 
5
5

La proposici´on condicional de p y q se define como el enunciado “Si p entonces q” y la denotamos como p q.

 
6
6

La proposici´on bicondicional de p y q se define como el enunciado “p si y solo si q” y la denotamos como p q.

 
 

Apuntes

Ejemplos

 

Determine el tipo de proposici´on compuesta:

 
1
1

O

Nicole est´a en la UP o est´a en su casa.

2
2

Daniela reemplaza a Diana cuando Diana esta fuera de Lima.

 
 
3
3

Ariana tiene derecho al voto electoral si y solo si ella es mayor

 

de

edad.

 
4
4

Malena gusta de nadar tanto como gusta de bailar.

 
5
5

Si

hoy es lunes, no estudio.

6
6

Carlos est´a enfermo o Diana prepara el almuerzo.

 
7
7

Camila lleg´o temprano a la UP pero lleg´o tarde a la clase.

 
Tablas de verdad p q p ∧ q p ∨ q p q p →

Tablas de verdad

p

q

p q

p q

p q

p q

p q

q p

¬q → ¬p

V

V

             

V

F

F

V

F

F

Ejercicios Si la proposici´on ( p ∧ q ) ( p ¬ q ) es

Ejercicios

Si la proposici´on (p ∧ q ) ( p ¬ q ) es verdadera, determine el valor de p q) (p ¬q) es verdadera, determine el valor de verdad de la proposici´on ¬q p.

Sean p y q dos proposiciones, se define la proposici´on “ p ∗ q ” mediante p y q dos proposiciones, se define la proposici´on “p q” mediante la siguiente tabla.

p q p ∗ q V V F V F F F V F F
p
q
p ∗ q
V V
F
V F
F
F V
F
F F
V

D´e las tablas de verdad de las proposiciones “(p q) (q p)” y “(p q) (q p)”.

Apuntes

Apuntes

Ejercicios

Tres amigos enuncian las siguientes proposiciones en una conversaci´on:

Aldo : O terminamos la tarea o vamos a la playa.

Bruno : No Aldo, mejor terminamos la tarea entonces vamos a la playa.

Cesar : Calma chicos, terminamos la tarea si y solamente si vamos a la playa.

Si se sabe que unicamente uno de ellos dice la verdad. Determine si terminaron la tarea o fueron a la playa.

Tautolog´ıa Definici´on Una proposici´on se denomina tautol´ogica si su tabla de verdad tiene solo valores

Tautolog´ıa

Definici´on

Una proposici´on se denomina tautol´ogica si su tabla de verdad tiene solo valores verdaderos, sin importar el valor de verdad de sus proposiciones simples.

Ejemplo realice la tabla de verdad de (p q) (p q) y concuya si es o no una tautolog´ıa.

Apuntes

Apuntes

Apuntes Ejercicios 1 Con respecto al ejercicio anterior. Responda si ¿la proposici´on “(¬p ∗ ¬q)
Apuntes
Ejercicios
1
Con respecto al ejercicio anterior. Responda si ¿la proposici´on
“(¬p ∗ ¬q) ↔ ¬(p ∗ q)” es una tautolog´ıa?.
2
Muestre que las proposiciones siguientes son tautolog´ıas:
[(¬p ↔ q) ∧ p] ↔ [(¬q ↔ p) ∧ p]
((p ∧ q) ∨ p) → p
3
Si hacer la tarea implica ir a la playa e ir a la playa implica
broncearse, entonces hacer la tarea implica broncearse.
Apuntes
Equivalencias
Definici´on
Diremos que dos proposiciones compuestas P y Q son equivalentes
si tienen la misma tabla de verdad. La notaci´on empleada para P
equivalente a Q es dada por P ≡ Q.
Ejercicio
Determine si las siguientes proposiciones son equivalentes:
1
p
→ q
y
¬p ∨ q
2
p
→ q
y
q → p
3
¬(p ∨ q)
y
¬p ∧ ¬q
4
¬(p ∧ q)
y
¬p ∨ ¬q
5
¬(p → q)
y
p ∧ ¬q
6
¬(p ↔ q)
y
p q
Apuntes Ejercicio Indique si las siguientes proposiciones son equivalentes Si una empresa tiene buenos empleados,
Apuntes
Ejercicio
Indique si las siguientes proposiciones son equivalentes
Si una empresa tiene buenos empleados, entonces si dichos
empleados trabajan duro la empresa no quebrar´a.
Si una empresa tiene buenos empleados y dichos empleados
trabajan duro entonces la empresa no quebrar´a.
Apuntes
Ejercicio
A continuaci´on se tienen tres proposiciones
P 1 : Si aprob´e el examen exoneratorio o apruebo el curso de nive
en el ciclo 2017 − 2, entonces el pr´oximo ciclo me matriculo
en matem´atica I.
P 2 : Si el pr´oximo ciclo no me matriculo en mate I, entonces no
aprob´e el examen exoneratorio y no apruebo el curso de nive
en el ciclo 2017 − 2.
P 3 : No aprob´e el examen exoneratorio o apruebo el curso de nive
en el ciclo 2017 − 2, o el pr´oximo ciclo me matriculo en
matem´atica I.
Simbolice las tres proposiciones estableciendo primero un
diccionario. Analice si las proposiciones P 1 y P 2 son equivalentes o
no.Justifique.
Apuntes Conjuntos Los conjuntos se pueden escribir por extensi´on o comprensi´on. Un conjunto se escribe
Apuntes
Conjuntos
Los conjuntos se pueden escribir por extensi´on o comprensi´on.
Un conjunto se escribe por extensi´on separando los elementos
por comas y encerr´andolas entre llaves.
Para escribir un conjunto por comprensi´on se necesita elegir
un conjunto universal U y una propiedad p. Luego se escribe
de la siguiente forma
{x ∈ U
: p(x)}
y se lee: el conjunto de todos los x en U tal que cumplen la
propiedad p.
Apuntes
Ejercicios
Determine los siguientes conjuntos por extensi´on:
A
= {x ∈ N : 2x ≤ 9}
B
= {x
∈ Z :
x 2 ≤ 5}
C = 2x ∈ Z :
1 < x
< 3
2
D 2x + 1 ≤ 3x + 2 ≤ 7 − x}
= {x ∈ N :
¿Cu´ales de los siguientes conjuntos es vac´ıo?
a) A = {x ∈ Z :
x 2 = 9
2x = 4}
b) B = {x
∈ N :
x + 8 = 8
x + 1 = 2}
Apuntes Cuantificadores El cuantificador universal se define como la expresi´on “Para todo ”y se denota
Apuntes
Cuantificadores
El cuantificador universal se define como la expresi´on “Para
todo
”y
se denota por ∀. En t´erminos de proposiciones
tenemos
∀ x ∈ C ,
[ p(x) ]
p(x) para todo x en C .
El cuantificador existencial se define como la expresi´on
“Existe
”y
se denota por ∃. En t´erminos de proposiciones
tenemos
∃ x ∈ C ,
[ p(x) ]
p(x) para alg´un x en C .
Apuntes
Ejercicios
Traduzca al lenguaje simb´olico de l´ogica formal las siguientes
proposiciones:
En el banco de la esquina, alguien hizo sonar la alarma y
todos salieron corriendo.
En este colegio, si es feriado, entonces todos los estudiantes
est´an fuera del colegio.
Apuntes Ejercicios Sea U = {1, 2, 3, 4, 5}. Indique el valor de verdad
Apuntes
Ejercicios
Sea U = {1, 2, 3, 4, 5}. Indique el valor de verdad de las siguientes
proposiciones:
1
∃x
∈ U,
[ x + 3 < 7 ]
2
∀x
∈ U,
∀y ∈ U,
[
x
+ y
≤ 7 ]
3
∃x
∈ U,
∀y ∈ U,
[
x
+ y
≤ 10 ]
4
∃x
∈ U,
∃y ∈ U,
[
xy > x
+ y ]
5
∀x
∈ U,
∃y ∈ U,
[
x + 2y >
x 2 ]
Apuntes
Negaci´on de cuantificadores
Para todo conjunto C y propiedad p tenemos
¬(∀x
∈ C , [p(x)])
∃x
∈ C , [¬p(x)],
¬(∃x
∈ C , [p(x)])
∀x
∈ C , [¬p(x)].
Apuntes Ejercicio Consideremos la siguiente proposici´on: “No es cierto que, si algunos pol´ıticos mienten
Apuntes
Ejercicio
Consideremos la siguiente proposici´on:
“No es cierto que, si algunos pol´ıticos mienten entonces todos los
pol´ıticos no son responsables.”
Queremos encontrar una proposici´on equivalente que no est´a en la
forma de una negaci´on para entenderla mejor.
Apuntes
Ejercicio
Indique la negaci´on de la siguiente proposici´on:
∀ε >,
∃δ > 0,
[ |x − x 0 | < δ
|f (x) − f (x 0 )| < ε ]
Apuntes Ejercicio Si U es el conjunto universal de estudiantes del Per´u, p(x) la propiedad
Apuntes
Ejercicio
Si U es el conjunto universal de estudiantes del Per´u, p(x) la
propiedad “el estudiante x es emprendedor” y q(x) la propiedad
“el estudiante x es de la U.P.”.
Determine la negaci´on de la proposici´on
∀x ∈ U [p(x) → q(x)]
en l´ogica formal, sin usar condicionales, y enuncie su traducci´on al
lenguaje coloquial.
Apuntes
Ejercicio (PC1 2017-II)
Sea U el conjunto de choferes del Per´u.
”p(x) : x conduce con mas de 0.5 gr/litro de alcohol en la
sangre”
”q(x) : x es castigado con pena privativa de libertad”
r(x) : x paga multa”
1
Escriba en l´ogica formal, la siguiente proposici´on:
”Todo chofer del Per´u que conduce con m´as de 0.5 gr/litro de
alcohol en la sangre es castigado con pena privativa de
libertad”
2
Traduzca la siguiente proposici´on al lenguaje coloquial
∃x ∈ U, [p(x) ∧ (¬q(x) ∧ ¬r (x))]
Adem´as, escriba su traducci´on en l´ogica formal y traduzca
dicha negaci´on al lenguaje coloquial.
Apuntes Ejercicio Simbolice la proposici´on: “ Si existen funciones reales que no son continuas entonces,
Apuntes
Ejercicio
Simbolice la proposici´on:
“ Si existen funciones reales que no son continuas entonces,
existen funciones reales que no son derivables”
Indicando el conjunto universal y la (o las) propiedad(es), e indique
su negaci´on con su respectiva traducci´on al lenguaje coloquial.
Apuntes
Inclusi´on e igualdad de conjuntos
Dados A y B conjuntos de elementos del conjunto universal U.
Diremos que A est´a inclu´ıdo en B si todo elemento de A es un
elemento de B. Es decir
∀x ∈ U [ x
∈ A → x ∈ B ].
En este caso escribimos A ⊂ B, cuya lectura es “A es un
subconjunto de B”.
Diremos que A y B son iguales si poseen los mismos
elementos, esto es A ⊂ B y B ⊂ A. Esto es equivalente a
∀x ∈ U [ x ∈ A ↔ x ∈ B ].
En este caso escribiremos A = B.
Apuntes Operaciones con conjuntos Sea U un conjunto universal y A, B subconjuntos de U.
Apuntes
Operaciones con conjuntos
Sea U un conjunto universal y A, B subconjuntos de U.
El complemento de A en U, es el conjunto
A c
= {x ∈ U : x ∈/ A}.
La diferencia de A y B, es el conjunto
A
− B =
{x
∈ U :
(x ∈ A) ∧ (x ∈/ B)}.
La uni´on de A y B, se define como
A
∪ B = {x ∈ U : (x ∈ A) ∨ (x ∈ B)}.
La intersecci´on de A y B, es el conjunto
A
∩ B = {x
∈ U : (x ∈ A) ∧ (x ∈ B)}.
Decimos que los conjuntos A y B son disjuntos cuando A ∩ B = ∅.
Apuntes
Ejercicios
Sean A, B y C subconjuntos de U, demostrar lo siguiente:
A ⊂ B entonces B c ⊂ A c .
Si
A − B = ∅ entonces A ⊂ B.
Si
A ⊂ B y B ⊂ C
Si
entonces C − B ⊂ C − A.

Ejercicios

Dado el conjunto universal U = { 1 , 2 , 3 , 4 , 5 , 6 , U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, definimos

A = {x U : x es par }

 

y

B = {3, 6, 9}

 

Determine por extensi´on los siguientes conjuntos:

 
1
1

A

B

2
2

B c

3
3

A B

4
4

B c A

Determine A ∩ ( B ∩ C ) donde A (B C ) donde

 

3 ≤ x ≤ 9 } x 9}

A = {x N :

B = {x

Z : Z :

5 < 2x 99}

C = {x

Z : Z :

2 x < 7}

El conjunto Q

El conjunto de los n´umeros racionales, es denotado por Q, es

Q = x R :

x = p

donde p Z y q Z − {0}

 

q

La suma y el producto de dos racionales p 1 /q 1 y p 2 /q 2 resulta ser

p + p 2

1

= p 1 q 2 + p 2 q 1

 

p 1

p 2 = p 1 p 2

 

q 1

q

2

q

1 q 2

y

q 1 q 2

q

1 q 2

.

Apuntes

Apuntes

Ejercicios Efect´ue las siguientes operaciones: 2 3 a − 5 1 5 + 5 3

Ejercicios

Efect´ue las siguientes operaciones:

2 3 a − 5 1 5 + 5 3 b − b c 4
2
3
a
− 5
1 5 + 5
3
b − b c
4
2
a + b − c − a
3 + 9 4
b c
1 1 2a 5c 2 + a b − c 1 5 3b + 2b
1
1
2a
5c
2
+
a
b − c 1
5 3b + 2b
a − a − c
a
3c
b
b
5b + 4b
3
a
+ b + c − a
b
b

Ejercicio 1

 

Sea U = {x N :

2 x >

1

32 }. Justifique por qu´e las siguientes

proposiciones son falsas:

1
1

x

U,

[ x 2 8 ]

2
2

x

U,

y U,

[ x y U

(y + 2) 2x U ]

3
3

x, y

U,

[ x

+ y 5

]

Apuntes

Apuntes

 

Apuntes

Ejercicio 2

 

En una isla hay dos tipos de personas, la de los veraces (que siempre dicen la verdad) y la de los mentirosos (que siempre mienten). Un turista se encuentra con tres personas (A, B y C) de dicha isla y cada una le dice una frase.

 
 
 
A dice “B y C son veraces si y solo si C es veraz”

A dice “B y C son veraces si y solo si C es veraz”

B dice “Si A y C son veraces, entonces B y C son veraces y

B dice “Si A y C son veraces, entonces B y C son veraces y A

 

es mentiroso”

 
C dice “B es mentiroso si y solo si A y B son veraces”  

C

dice “B es mentiroso si y solo si A y B son veraces”

 

Use tablas de verdad para determinar quienes son veraces y quienes mentirosos.

 
 

Apuntes

Ejercicio 3

 

Considere U = Z y las siguientes propiedades:

 

p( x ): x es no negativo. (x): x es no negativo.

r ( x ): (x):

x es impar.

q( x ): x es par. (x): x es par.

s( x ): x es primo. (x): x es primo.

 
 

Simbolice las siguientes proposiciones:

 
Todo n´umero entero es par o impar.

Todo n´umero entero es par o impar.

No todos los enteros son pares.

No todos los enteros son pares.

No todos los n´umeros primos son impares.

No todos los n´umeros primos son impares.

Todos los n´umeros primos son no negativos.  

Todos los n´umeros primos son no negativos.

 
 
Si un entero no es impar, entonces es par.

Si

un entero no es impar, entonces es par.