Logica Class

LÓGICA
Definición:
Es una rama de las matemáticas, cuyo objetivo es cuestionar con el mayor rigor posible los conceptos y
reglas de deducción utilizados en el proceso de razonamiento.
ENUNCIADO: Es toda frase u oración que se utiliza en el lenguaje común.

Ejemplos:
ENUNCIADO ABIERTO ENUNCIADO CERRADO
1) Buenos días (Enun)
• Función proposicional (Proposición)
2) ¡Auxilio! (Enun) • Cuasi proposición
• P. Simple: no tiene conectivos.
3) ¿Dónde vives? (Enun) • Existe variable
• P. compuesta: 2 o más conectivos.
4) 2𝑥 − 3 = 7 (E.A) • No tiene valor de verdad
• Tienen un valor de verdad.
5) Ella es tu amiga (E.A)
6) Hoy es lunes. (E.C) • No hay variable
7) José estudia y trabaja (E.C)
8) 4 + 3 = 8 (E.C)
PROPOSICIÓN:
Una proposición es un enunciado cuya propiedad fundamental es la de ser verdadero (V) o falso (F), pero
no ambos simultáneamente.
Una proposición se representa simbólicamente por letras minúsculas tales como:
𝑝, 𝑞, 𝑟, 𝑠, 𝑡, 𝑒𝑡𝑐 llamadas variables proposicionales.
Ejemplos:
A) 𝑝: Mario Vargas Llosa es el autor de la novela Travesuras de la niña mala.
B) 𝑞: 2 + 7 > 9 − 1
C) 𝑟: El número 1234321 es divisible por 11. Observaciones:
D) 𝑠: Todos los varones son mortales. Una proposición:
• Tiene sentido.
• Tiene valor de verdad.
• No es ambigua.
NO SON PROPOSICIONES:
• Las pseudoproposiciones. • Oraciones imperativas(exortativas)
• Las preguntas o exclamaciones. se utilizan para expresar:
• Las expresiones desiderativas: Son aquellas un consejo, un ruego o petición, un mandato o una
que expresan algún deseo, súplica o solicitud. orden, una prohibición o negativa.
Ejemplo:
1.Ojalá que no llueva mañana. Ejemplos de Oración Imperativa:
2.Que te mejores pronto
3.Ojalá pases el examen. ¡Lava los platos! (expresa una orden)
4.Espero que todo esté bien en tu casa. Por favor, siéntate (ruego)
5.Que tengas mucha suerte. Javier, dame ese libro (petición)
6.Espero ganarme la lotería. Escuche esta noticia (consejo)
7.Ojalá no me guardes rencor. ¡No hagas ningún ruido! (negativa o prohibición)
8.Espero poder ir a tu fiesta. Mami, regálame para un helado (petición)
9.Ojalá puedas comprenderme. Haga primero las tareas (orden)
10. Espero que no te moleste
NO SON PROPOSICIONES:
• Los juicios de valor.

• Las frases célebres.
La educación es el pasaporte hacia el futuro, el mañana pertenece a
aquellos que se preparan para él en el día de hoy. (Malcom X)
Hay dos cosas que son infinitas: el universo y la estupidez humana; de la
primera no estoy muy seguro. (Einstein, Albert)
Cada día sabemos más y entendemos menos. (Einstein, Albert)
• Los refranes.
Ejemplo:
No son proposiciones
A)¿Qué edad tienes? (Enun)
B)¡Viva el Perú! (Enun)
C)Prohibido hacer bulla. (Enun)
D) Él está jugando con su celular. (E.A)
E) 𝒙 + 2 > 5 (E.A)
F) 2𝑥 + 3𝑦 = 8 (E.A)
Clases de proposición lógicas:
1. Proposición simple (atómica o elemental):
Son aquellos enunciados que tienen un solo sujeto y predicado.
No presentan conectivos lógicos.
El valor de verdad V o F de estas proposiciones se obtienen de la disciplina o suceso
de donde provienen:
Ejemplo:
𝑝: El triángulo isósceles tiene dos lados de igual magnitud.
𝑉 𝑝 = 𝑉 , por los conceptos de geometría elemental
𝑞: Abraham Valdelomar es el autor de la novela “El amor en tiempos del cólera”.

𝑉 𝑞 = 𝐹 , el autor es Gabo
𝑟: Pedro Paulet Mostajo fue un ingeniero peruano.

𝑉 𝑟 = 𝑉 , según la historia.
2. Proposición compuesta
(molecular o coligativas)
Son aquellas proposiciones
que se obtienen de la
combinación de dos o más
proposiciones simples, las
cuales están enlazadas o
ligadas entre sí por los
llamados conectivos lógicos.
OBS:
Si la proposición presenta solo
negación también se dice que
es una proposición compuesta
(FALSO)
(VERDADERA)
(FALS0)
(FALSO)
(FALSO)
(FALSO)
𝑝 ∨ (𝑞 ∧ 𝑟)
𝑝 ⟷(q ∧∼ 𝑟)
Negación Bicondicional
~𝑉 ≡ 𝐹 𝑉↔ 𝑉≡ 𝑉
~𝐹 ≡ 𝑉 𝐹 ↔𝐹≡ 𝑉
Conjunción
CONDICIONAL
𝑉∧ 𝑉≡𝑉 𝑉→𝐹≡𝐹
Disyunción fuerte
Disyunción débil 𝑉∆𝑉 ≡ 𝐹
𝐹∨ 𝐹≡𝐹 𝐹∆𝐹 ≡ 𝐹
𝑉 𝐹
𝑉 𝑉 𝑉 𝐹
p= 𝐹 q= 𝑉 𝑟=𝐹 s= 𝐹
≡ 𝐹∆ 𝑉 ≡ 𝑉
≡𝐹∧𝐹 ≡𝐹
≡𝐹
≡𝑉∧𝐹 ≡𝐹
𝑭 𝑭
(𝑽) 𝑽≡
(𝑭) 𝑽 𝑽 𝑽 𝑽
(𝑭)
𝑽 𝑽 𝑽 𝑽 𝑽 𝑽
𝒓≡𝑽 𝒔≡ 𝑽
𝑝 𝑞 𝑡
𝑝 𝑞 𝑝∧𝑞 V V V
𝑉 𝑉 𝑉 V V F
𝑉 𝐹 𝐹 V F V
𝐹 𝑉 𝐹 V F F
𝐹 𝐹 𝐹 F V V
F V F
F F V
F F F
II. Tautología
𝑝 𝑞
𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝐹 𝐹 𝑉 𝐹
𝐹 𝑉 𝐹 𝑉 𝐹
𝐹 𝐹 𝐹 𝑉 𝑉
I.
𝑝 𝑞 ⟶
𝑉 𝑉 𝐹 𝑉 𝑉 𝑉 III. Tautología
𝑉 𝐹 𝐹 𝑉 𝑉 𝑉 𝑝 𝑞
𝐹 𝑉 𝐹 𝐹 𝑉 𝑉 𝑉
𝑉 𝑉 𝑉 𝑉
𝐹 𝐹 𝐹 𝐹 𝑉 𝐹 𝑉 𝑉
𝑉 𝐹 𝐹
𝐹 𝑉 𝐹 𝑉 𝐹
𝐹 𝐹 𝐹 𝑉 𝐹
ÁLGEBRA PROPOSICIONAL
Leyes del álgebra de proposiciones: Son equivalentes lógicos
cuya demostración se hace construyendo las respectivas
tablas de verdad:
𝑝 𝑝 𝑝∨𝑝
1. LEY IDEMPOTENTE:
𝑝∨𝑝≡𝑝 𝑉 𝑉 𝑉
𝑝∧𝑝≡𝑝 𝐹 𝐹 𝐹
2. LEY CONMUTATIVA: 3. LEY ASOCIATIVA: 4. LEY DISTRIBUTIVA:

𝑝∨𝑞 ≡𝑞∨𝑝 𝑝∨𝑞 ∨𝑟 ≡𝑝∨ 𝑞∨𝑟 𝑝 ∧ 𝑞 ∨ 𝑟 ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
𝑝∧𝑞 ≡𝑞∧𝑝 𝑝∧𝑞 ∧𝑟 ≡𝑝∧ 𝑞∧𝑟 𝑝 → 𝑞 ∨ 𝑟 ≡ (𝑝 → 𝑞) ∨ (𝑝 → 𝑟)
𝑝↔𝑞≡𝑞↔𝑝 𝑝↔𝑞 ↔𝑟≡𝑝↔ 𝑞↔𝑟 𝑝 ∨ 𝑞 ∧ 𝑟 ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
𝑝∆𝑞 ≡𝑞∆𝑝 𝑝∆𝑞 ∆𝑟 ≡𝑝∆ 𝑞∆𝑟 𝑝 → 𝑞 ∧ 𝑟 ≡ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)
5. LEY DE EXISTENCIA DE LOS ELEMENTOS NEUTROS:
𝑝∨𝐹 ≡𝑝 𝑝∧𝐹 ≡𝐹
𝑝∨𝑉 ≡𝑉 𝑝∧𝑉 ≡𝑝
9. LEYES de uso frecuente:
𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
6. LEY DE COMPLEMENTACIÓN:
𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝 (contrarrecíproco)
~(~𝑝) ≡ 𝑝
𝑝 ∨ ~𝑝 ≡ 𝑉 𝑝 ∧ ~𝑝 ≡ 𝐹
𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
~𝑉 ≡ 𝐹 ~𝐹 ≡ 𝑉
𝑝 ↔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)
𝑝∆𝑞 ≡∼ (𝑝 ↔ 𝑞)
𝑝∆𝑞 ≡ (𝑝 ∨ 𝑞) ∧ (∼ 𝑝 ∨∼ 𝑞)
8. LEYES DE MORGAN:
∼ 𝑝 ∨ 𝑞 ≡∼ 𝑝 ∧ ∼ 𝑞
∼ 𝑝 ∧ 𝑞 ≡∼ 𝑝 ∨ ∼ 𝑞
𝑥 ≠𝑥 o 𝑥>1
𝑝 𝑞
𝑥 >1, o 𝑥 ≠𝑥
𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
𝑝 → 𝑞 ≡ ~𝑝 ∨ 𝑞
(𝑭) (𝑽)
(~𝑝 ∨ 𝑞) ⟶ 𝑟 𝑝 → (~𝑞 ∨ 𝑟) 𝑞 ∧ (~𝑝 ∨ ~𝑞) ~(~𝑞 ∨ 𝑝)

𝑞 ∧ (~𝑞 ∨ ~𝑝) 𝑞 ∧ ~𝑝)
~(~𝑝 ∨ 𝑞) ∨ 𝑟 ~𝑝 ∨ (~𝑞 ∨ 𝑟)
𝑞 ∧ ~𝑝
(𝑭)
(~𝑝 ∨ 𝑞) ∨ 𝑝
𝑝 ∨ ~𝑝 ∨ 𝑞
𝑝 ∨ ~𝑝 ∨ 𝑞
𝑉∨𝑞
𝑉

Logica Class

Cargado por

Copyright:

Formatos disponibles

Logica Class

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Class

Cargado por

Copyright:

Formatos disponibles

LÓGICA

ENUNCIADO: Es toda frase u oración que se utiliza en el lenguaje común.

• Los juicios de valor.

𝑞: Abraham Valdelomar es el autor de la novela “El amor en tiempos del cólera”.

𝑟: Pedro Paulet Mostajo fue un ingeniero peruano.

2. LEY CONMUTATIVA: 3. LEY ASOCIATIVA: 4. LEY DISTRIBUTIVA:

(~𝑝 ∨ 𝑞) ⟶ 𝑟 𝑝 → (~𝑞 ∨ 𝑟) 𝑞 ∧ (~𝑝 ∨ ~𝑞) ~(~𝑞 ∨ 𝑝)

También podría gustarte