“Año de la recuperación y
consolidación
de la economía peruana”
Profeso Yosel Castillo
r: • Chapoñan Mathias
• Norabuena Daleshka
Integrante • Sernaque Milenka
s: • Zamora Benjamin
Curso R.Matemático
: Grado 5° secundaria
: Año:
2025
Presentación
01. 02. 03.
El presente trabajo ha Con la información de Nuestro objetivo es que
sido elaborado con la nuestra diapositiva, el alumno comprenda
finalidad de fortalecer el explicaremos de forma bien las Leyes Lógicas,
conocimiento del alumno clara las principales pueda resolver
Santateresiano sobre las Leyes Lógicas. También ejercicios con seguridad
Leyes Lógicas, las cuales incluiremos ejercicios y enfrente retos sin
constituyen la base del para aplicar lo aprendido rendirse, aclarando
razonamiento válido en la y reforzar los cualquier duda que
lógica proposicional y conocimientos surja.
matemática. adquiridos.
Leyes
Leyes
1. LEY DE IDEMPOTENCIA:2. LEY DE CONMUTACIÓN
Esta ley se aplica solo para la Se aplica para todos los
disyunción y la conjunción. conectores. Esta estipula que el
Dictamina que, si ambas orden de las proposiciones puede
proposiciones son la misma, el alternar sin sufrir cambios.
resultado será igual.
Ejemplo teórico:
Ejemplo PvQ≡Qv
teórico: P
PvP≡P PʌQ≡Qʌ
P
PʌP≡P
P↔Q≡Q↔
P
PΔQ≡QΔ
3. LEY DE ASOCIACIÓN 4. LEY DE DISTRIBUCIÓN
Únicamente aplicable para la Uso exclusivo de la disyunción y
disyunción y conjunción. Se basa conjunción. Esta ley lo que hace es
en asociar un par de distribuir la proposición, que no está
proposiciones, separando una de agrupada, junto con su conector, a las
otra antes agrupada. Para que proposiciones agrupadas. Se requiere
esto se cumpla, ambos conectores que ambos conectores sean
deben ser iguales. diferentes.
Ejemplo teórico:
Ejemplo teórico:
P v (Q v R) ≡ (P v
P v (Q ʌ R) ≡ (P v Q) ʌ
Q) v R
(P v R)
P ʌ (Q ʌ R) ≡ (P ʌ
P ʌ (Q v R) ≡ (P ʌ Q) v
Q) ʌ R
(P ʌ R)
5. LEY DE MORGAN (Las siguientes 2 leyes no tienen
una definición clara, pues son
Solo para disyunción y conjunción. equivalencias verificables)
Determina que, si hay una
negación rodeando a dos 6. LEY DE DISTRIBUCIÓN
proposiciones agrupadas, esta
afecta a ambas proposiciones. P → Q ≡ ¬P v Q
P → Q ≡ ¬Q → ¬P
Ejemplo teórico:
¬(P v Q) ≡ ¬P ʌ 7. LEY BICONDICIONAL:
¬Q
P ↔ Q ≡ (P → Q) v (Q →P)
¬(P ʌ Q) ≡ ¬P v
P ↔ Q ≡ ¬(P Δ Q)
¬Q
8. LEY DE COMPLEMENTO: 9. LEY DE IDENTIDAD: Solo
(Conjunción y disyunción) para conjunción y disyunción:
En el siguiente caso, siempre será Siendo conjunción, se necesitan 2 falsos para ser
verdadero; pues siendo el conector falso; como hay un verdadero siempre será
la disyunción, si ambas verdadero
PvV≡V
proposiciones son diferentes,
entonces el resultado será En presencia de un falso, el resultado es según
verdadero: la proposición, por lo tanto, es equivalente a la
P v ¬P ≡ V misma:
PvF=P
En el segundo caso, siempre será Caso de la disyunción, y en presencia de una
falso; siendo una conjunción, aplica verdad, el resultado también es en función de la
lo mismo para la disyunción. proposición:
PʌV=P
P ʌ ¬P ≡ F En presencia de una falsedad, el resultado
siempre será un falso.
PʌF=F
10. LEY DE ABSORCIÓN
• Se requieren 4 requisitos: Uso de solo la conjunción y disyunción; Presencia de un mínimo de
2 proposiciones; Que al menos haya uno de cada conector en el ejercicio; Que 2
proposiciones estén agrupadas.
• La ley señala que se deben agarrar dos elementos idénticos, o al menos parecidos, lo que
deriva a 2 casos:
1. cASO 2. CASO
·Elementos idénticos: En este Elementos parecidos: En este caso, los
caso, al escoger a amos elementos parecidos son ambas la misma
elementos idénticos, el proposición, solo que una está negada. Se
ejercicio equivaldría a este toma la proposición de afuera junto con su
mismo. conector y se junta con el elemento que no se
P ʌ (Q v P) =
tomó en cuenta.
P ¬P ʌ (Q v P) =
Q v (P ʌ Q) = ¬P ʌ Q
Q Q v (P ʌ ¬Q) =
¬P ʌ (Q v ¬P) Qv P
P ʌ (¬Q v ¬P) =
= ¬P
11. LEY DE DOBLE 12. LEYES DE INFERENCIA
NEGACIÓN
Como su nombre indica, se ·LEY DE PONENDO PONENS
aplica cuando una proposición (MODUS PONENS): Afirmación de la
sin conector posee una primera componente de la proposición
negación doble. Básicamente compuesta.Ejemplo teórico:
el resultado es la proposición P = “Hace calor”
sin ninguna negación Q = “Te llevo al río”
P→Q Si hace calor, te
Ejemplo teórico: P llevo al río
Hace calor
¬(¬P) ≡ P
∴ Q Podemos deducir que te
llevo al río.
ACLARACIÓN: NO SE PUEDE
AFIRMAR LA SEGUNDA
COMPONENTE, ES INDEDUCIBLE.
·LEY DE TOLLENDO TOLLENS · LEY DE TOLLENDO PONENS: Se aplica
(MODUS TOLLENS): Negación de la para la disyunción, teniendo la misma
segunda componente de la proposición estructura; posee 2 casos:
compuesta. o Caso 1: Negación de la primera
Ejemplo teórico:
componente de la proposición compuesta.
P = “Hace calor”
Q = “Te llevo al río”
Ejemplo teórico:
P → Q Si hace calor, te llevo
¬Q P = “Juego videojuegos”
al río
Q = “Hago deporte”
No te llevo al río
P v Q Juego videojuegos o hago
∴ ¬P Podemos deducir que no ¬P deporte
hace calor.
No juego videojuegos
ACLARACIÓN: NO SE PUEDE
∴ Q Podemos deducir que hago
NEGAR LA PRIMERA
deporte
COMPONENTE, PUES NO SE PUEDE
SACAR CONCLUSIONES.
o Caso 2: Negación de la segunda LEY DE ADICIÓN: Se usa con la
componente de la proposición disyunción. Se añade una proposición a
compuesta. otra que estaba sola. Generalmente se
Ejemplo teórico:
usa para añadir un énfasis.
P = “Juego videojuegos”
Q = “Hago deporte” Ejemplo teórico:
PvQ Juego videojuegos o P = “Voy a hacer la
¬Q hago deporte tarea”
No hago deporte Q = “La tierra es plana”
∴P Podemos deducir que
(Esta proposición es
juego videojuegos
inventada)
ACLARACIÓN: NO SE PUEDE
∴PvQ Voy a hacer
AFIRMAR NINGUNA DE LAS
COMPONENTES, PUES NO SE
la tarea o la tierra es plana
PUEDE DEDUCIR.
·LEY DE CONJUNCIÓN: Consta de unir ·LEY DE SIMPLIFICACIÓN: De una
dos proposiciones simples mediante una proposición compuesta con conector una
conjunción. conjunción se puede sacar cualquiera de
las 2 componentes.
Ejemplo teórico:
P = “El día es Ejemplo teórico:
hermoso” P = “La sal es salada”
Q = “Las aves cantan” Q = “El azúcar es
dulce”
∴PvQ El día es
hermoso y las aves cantan PvQ La sal es
salada y el azúcar es dulce
∴P La sal es
salada.
muchas
