PENSAMIENTO LÓGICO MATEMÁTICO
2019 - II
EXPERIENCIA CURRICULAR
PENSAMIENTO LÓGICO
MATEMÁTICO
2019 – II
Dr. Juan Arturo Vásquez Velásquez
Departamento de Estudios Generales
¿Porqué es importante la lógica?
LÓGICA PROPOSICIONAL
• Es una parte de la lógica matemática,
llamada también «lógica de las
proposiciones sin analizar».
• Estudia las relaciones entre las
proposiciones mediante la conexión
lógica de estas.
• Trata de la verdad o falsedad de una o
varias proposiciones.
DEFINICIONES BÁSICAS
Enunciado: Son expresiones que transmiten ideas,
mensajes y tienen algún significado. Estos pueden
ser mandatos, interrogaciones, expresiones de
emoción.
Ejemplo:
¿Cuántas escuelas profesionales tiene la USS?
Enunciado abierto:
Los enunciados que usan los símbolos x, y, z…. o palabras
como “él” o “ella” no son proposiciones, sino enunciados
abiertos, pues no tienen la propiedad de ser verdaderos o
falsos. Sin embargo si a uno de estas variables o símbolos
se le asigna un valor determinado, llamado constante, el
resultado es una proposición.
Ejemplo:
Él estudia en la USS
x<9
Proposición:
Una proposición es un enunciado, expresión u oración cuya
propiedad fundamental es la de ser verdadera (V) o falsa
(F), sin ambigüedad.
Las proposiciones lógicas se denotan o representan con
letras minúsculas, tales como: p, q, r, s, .... etc, llamadas
variables proposicionales
Ejemplo:
p :3+5=7 V( p) = F
q : Lima es la capital del Perú V(q) = V
NO son proposiciones lógicas las oraciones:
-Interrogativas. (Preguntas)
Ej. ¿Qué es la personalidad?
-Exclamativas. (Exclamación)
Ej. ¡El juego fue impresionante!
-Imperativas. (Órdenes)
Guarde su celular durante la clase
-Desiderativas.(deseos)
Ej. Ojalá todos cumplan con su trabajo
-Dubitativas.(dudas o incertidumbres)
Ej. Quizá mañana llueva
Clases de proposiciones:
•Proposición simple o atómica: es aquella que no está
relacionada con otras proposiciones, además carecen de
conjunciones gramaticales y del adverbio de negación (no).
Ejemplos:
p: 3 es un número primo
q: El ángulo recto mide 90°.
•Proposición compuesta o molecular: es aquella que se
forma por dos o más proposiciones unidas por los conectores
lógicos.
Ejemplo:
El zorro es un mamífero y la vicuña es un herbívoro
CONECTORES LÓGICOS
Son símbolos que unen dos o más proposiciones simples
para formar una proposición compuesta.
Los conectores lógicos son:
CONJUNCIÓN DISYUNCIÓN INCLUSIVA
Si p y q son proposiciones, se Si p y q son proposiciones, se
llama conjunción de p y q a la llama disyunción de p y q a la
proposición compuesta “p y q “ proposición compuesta “p o q” y
y se denota por: se denota por:
pq pq
DISYUNCIÓN EXCLUSIVA CONDICIONAL
Si p y q son proposiciones, se Si p y q son proposiciones, se
llama disyunción exclusiva de p y llama condicional de p y q a la
q a la proposición compuesta “o proposición compuesta “si p,
p o q” y se denota por: entonces q” y se denota por:
pΔq pq
p q pΔq p q p→q
V V F V V V
V F V V F F
F V V F V V
F F F F F V
BICONDICIONAL NEGACIÓN
Si p y q son proposiciones, se Si p es una proposición,
llama bicondicional de p y q a la entonces “no p” es la
proposición compuesta “ p, si y
negación de p y se denota
solo sí q” y se denota por:
p↔q
por:
~p
p q p↔q
V V V
V F F
F V F
F F V
TRADUCCIÓN DE LOS CONECTIVOS
LÓGICOS
OPERADOR SÍMBOLO EXPRESIÓN SE LEE:
No …
~ Es falso que …
Negación p Es totalmente falso que …
¬ Es falaz que …
De ningún modo…
TRADUCCIÓN DE LOS CONECTIVOS
LÓGICOS
OPERADOR SÍMBOLO EXPRESIÓN SE LEE:
pyq
p incluso q
p pero q
Conjunción p q p tal como q
tanto p como q
p del mismo modo q
TRADUCCIÓN DE LOS CONECTIVOS
LÓGICOS
OPERADOR SÍMBOLO EXPRESIÓN SE LEE:
poq
p o incluso q
p o también q
Disyunción v pvq p o bien q
inclusiva p salvo que q
p a menos que q
TRADUCCIÓN DE LOS CONECTIVOS
LÓGICOS
OPERADOR SÍMBOLO EXPRESIÓN SE LEE:
p o q, pero no ambos
p o solo q
Disyunción p o únicamente q
exclusiva pq opoq
o solo p o solo q
o bien p o bien q
TRADUCCIÓN DE LOS CONECTIVOS
LÓGICOS
OPERADOR SÍMBOLO EXPRESIÓN SE LEE:
Si p entonces q
p de manera que q
Condicional → p → q q siempre que p
Para p es necesario q
P es suficiente para q
TRADUCCIÓN DE LOS CONECTIVOS
LÓGICOS
OPERADOR SÍMBOLO EXPRESIÓN SE LEE:
p si y solo si q
p siempre y cuando q
Bicondicional p q p es equivalente que q
Para p es necesario q
P es suficiente para q
FORMALIZACIÓN DE LAS PROPOSICIONES
Las proposiciones se formalizan usando símbolos para
representar los diferentes elementos de la proposición
compuesta, facilitando así su análisis y determinar su
validez: VARIABLES LÓGICAS O
PROPOSICIONALES.
Son símbolos que representan cualquier proposición
simple. Están constituidas por las letras minúsculas: p,
q, r, s, t, ... etc.
Ejemplos:
No es el caso que no haya un aluvión en Cerro de Pasco.
p: Hay un aluvión en Cerro de Pasco.
Formalizamos: ~ (~ p)
Yo ingresé y ella se casó
p: Yo ingresé
q: Ella se casó
Formalizamos: p q
Si la proposición (p q) r es falsa, determina el valor de
verdad de las siguientes proposiciones:
I. p v (r q)
II.( q p) q
III.(q r) ( r p)
Solución:
Partimos de:
(p q) r F
V F
pqV r F
pV;qF rV
Luego:
I.F v (V F) F v F F
II.(V V) V V V V
III.(F F) (F V) F F F
Rpta.: FVF
Ejercicios para la clase:
1. Determinar el valor de verdad de las proposiciones p y q si se
conoce la siguiente información: [(p v q) ~q] → q es falsa.
2. Si la proposición (p q) [(p q) t] es falsa. Hallar el valor de
verdad de:
(p q) (r t)
(q r) [t (p q)]
(p t) (q r)
3. La proposición (p q) (r s) es verdadera, teniendo r y s valores
verificativos opuestos. Hallar el valor de verdad de:
I. [(p q) (r s)] p
II. [(p q) (r s)] (p q)
III. [(r s) (p r)] (r s)
IV. [(r s) (s p)] (r p)
4. Si la proposición: [(p r) (s →q)] → (q → s) es falsa, hallar el
valor de verdad de [(p → r)] → {p (q s)}
GRACIAS
