1/06/2020

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

ESCUELA DE ESTUDIOS GENERALES
ÁREA DE INGENIERÍA
Algebra y Geometría Analítica
2020-I

Unidad 1

Semana1

Lógica proposicional

Cuantificadores universal y existencial.

Enunciamos

Tú saliste ayer de tu casa

¿Cual es tú respuesta?

Verdadero Falso

1
 1/06/2020

Proposición
Es todo enunciado que puede ser calificado como verdadero o
falso. Y se denota con letras minúsculas

Ejemplo:
p= El triángulo equilátero tiene tres lados iguales

Cuales de los siguientes enunciado es una proposición:

¿Usted habla francés? No

En la sala de clase esta prohibido fumar Si

Si
Cristobal Colón descubrió América
No
Quien fue a Barranco perdió su banco.
Si
Gustavo salió con Julia.

Proposiciones Simple
Son aquellas que tienen un solo componente, es decir, no se
pueden separar en dos proposiciones. Se les denota con las
letras minúsculas p, q y r, etcétera. A la verdad (V) o falsedad
(F) de la proposición se le llama valor de verdad
Ejemplo
La escuela de Estudios Generales tiene 10 secciones del curso
de Cálculo I
Proposiciones Compuestas
Formada por dos o más proposiciones simples unidas por
“conectores”. De acuerdo al tipo de conector que tienen, se
clasifican en: negativas, conjuntivas, disyuntivas, condicional,
bicondicional.
Ejemplo
Mario Vargas Llosa nació en el Perú o nació en España.

2
 1/06/2020

Conectores lógicos
Proposición Conectivo Símbolo Significado

Cambia el valor de verdad de una

NEGACIÓN No ~
proposición simple

Indica que se deben dar las dos

CONJUNCIÓN y ∧
proposiciones
DISYUNCIÓN Indica que se debe dar una de ellas
O ∨
INCLUSIVA (DEBIL) o ambas proposiciones a la vez
DISYUNCIÓN Indica que se debe dar una de ellas
EXCLUSIVA O….O △ pero no ambas proposiciones a la
(FUERTE) vez
Si… Indica en las proposiciones una
CONDICIONAL ⟶
entonces relación de causa - efecto

Indica que se da una relación de

BICONDICIONAL Si y solo si ⟷
causa - efecto y viceversa.

Existe otra connotaciones de los conectores

No p.
NEGACIÓN Es falso que p. p
Es absurdo que p.

p pero q.
CONJUNCIÓN p aunque q. p∧
p sin embargo q.

DISYUNCIÓN p a menos que q.

INCLUSIVA p salvo que q. ∨
(Débil) p excepto q.

3
 1/06/2020

p y q.
p pero q.
CONJUNCIÓN
p sin embargo q.
p a la vez q pq
p entonces q.
q si p.
CONDICIONAL q porque p.
p por lo tanto q. pq
p implica q.
p si y sólo si q.
q siempre y cuando
BICONDICIONAL pq
p.
q equivale a p

Valores de Verdad de los conectores

p q ∧ ∨ → ∆ ↔

V V V V V F V

V F F V F V F

F V F V V V F

F F F F V F V

4
 1/06/2020

Formalización de proposiciones lógicas

Utilizaremos las letras p, q, r, … para simbolizar a las
proposiciones lógicas

Ejemplos

Proposiciones Formalización
p
Voy a estudiar ingeniería
 p
No llueve esta noche.
pq
Voy al mercado o a la
casa.
pq
Apruebo el examen y
compro un celular.
pq
Si voy a la fiesta, entonces
duermo tarde.

Ejemplo Formalice las siguientes proposiciones

a) Haré buenos planos si manejo el programa de
Autocad
b) Mi mascota es juguetón pero es muy rudo
Solución
a) p: Manejo el programa de Autocad.

q: Hare buenos planos

pq
b) Tarea

10

5
 1/06/2020

Tautología, contradicciones y
contingencia

A toda proposición simple o compuesta cuyo valor de

verdad es siempre verdadera para toda combinaciones de
valores de sus componetes se le llama tautología. Y a
toda proposición que es siempre falsa para toda
combinaciones de valores de sus componentes se le
llama contradicción.
Una proposición cuya tabla de verdad contiene al menos
un valor verdadero y al menos un valor falso se le llama
de contingencia.

11

Ejemplo . Determine si la proposición

compuesta es tautológica ~ ∨ ∧ ~ →

p q ~ ~ ∨ ~ ∨ ∧~ →

V V F V F V V

V F F F F V V

F V V V F F F

F F V V V F V

Concluimos que es de contingencia.

12

6
 1/06/2020

Ejemplo . Determine si las proposiciones

son equivalentes ~ → ~ y →

p q ~ ~ → ~ →~
⟷

V V F F V V V

V F F V F V F

F V V F V V V

F F V V V V V

entonces es tautológico por lo tanto son equivalentes.

13

Cuantificadores
Considera los siguientes enunciados:
a)“ X es un profesor de matemáticas”
b) “Paolo es un profesor de matemáticas”.
c)“ X es un divisor de 8”
d)“X es un divisor de Y”.
e)“2 es un divisor de Y”.
f)“3 es un divisor de 8”.

¿Qué diferencias observas entre unas y otras?

¿Cuáles son proposiciones?

Se dan enunciados que no son proposiciones pero que pueden

convertirse en proposiciones si se da un valor a las variables
X ó Y.

14

7
 1/06/2020

Definición de función proposicional

Una función proposicional es un enunciado que depende de una o
más variables dentro de un conjunto universo, de modo que se
convierte en una proposición para cada valor o reemplazo de la
variable.

Ejemplo. P(X): “ X es un divisor de 8”

Solución
P(2) es cierta, P(5) es falsa, P(32) es falsa.

Ejemplo. Decide cuáles enunciados son proposiciones y función

proposicional
a) (2n+3)2 es un número impar.
b) 1 + 3 = 5
c) Existe un x tal que x < .
d) x es un número real.
Solución
a) función proposicional b) Es proposición.
c) Es proposición. d) función proposicional

15

El cuantificador existencial,
“Para algún x se verifica p(x)”
“Existe x tal que se cumple p(x)”
“Para al menos un x se satisface p(x)”
son proposiciones que se escriben como “x p(x) ”

El cuantificador universal,

“Para todo x se verifica p(x)”

“Para cualquier x tal que se cumple p(x)”
“Para cada x se satisface p(x)”
son proposiciones que se escriben como “x p(x) ”

16

8
 1/06/2020

Ejemplo: Escribe simbólicamente la proposición

r: “Para cada entero , si es par entonces + 19
es primo”
Solución.

El conjunto universo son los enteros, identificamos la

función proposicional
: " es par”
:" + 19 es primo”

Luego
r : n∈ ℤ [ ( ) → ( )]

17

Ejemplo: Escribe simbólicamente la proposición

s: “ Existe un número real tal que =

Solución.
El conjunto universo son los números reales,
identificamos la función proposicional
2
: =
+1 5

Luego
s:  ∈ℝ ( )

18

9
 1/06/2020

Negación del cuantificador universal:

La negación de x p(x) : “Para todo x se satisface p(x)”
Es
~[x p(x)]  “NO es cierto que todo x verifique p(x)”
 “Algún x satisface ~p(x)”
 x ~p(x)

~ [ x p(x)]  x ~p(x)
Negación del cuantificador existencial:
La negación de x p(x) : “Existe x que satisface p(x)”
es
~[x p(x)]  “No es cierto que exista x, que verifique p(x)”
 “Ningún x satisface p(x)”
 “Todo x satisface ~p(x)”
 x ~p(x)

~[ x p(x)]  x ~p(x)

19

Ejemplo: r : Simbolice la expresión “ Cualquier

número real cuyo cuadrado es mayor que 1, es mayor
que 1”, luego exhiba la negación de las proposiciones.

Solución.
Equivale a
r: “ Para todo real, si > 1 entonces > 1”

La negación es
~ r : Existe algún real tal que > 1y ≤1

20

10