CARRERA DE TECNOLOGÍA SUPERIOR

EN DESARROLLO DE SOFTWARE
 MATEMÁTICAS

PROFESORA: ING. KARINA GALINDO

SEMESTRE: ABRIL 2023 – SEP. 2023
Tecnología en desarrollo de software

I. LÓGICA PROPOSICIONAL
1.1 INTRODUCCIÓN
• Se entiende por proposición a un enunciado en el que se declara algo y al que se le puede asignar un valor
ya sea verdadero o falso.
También conocidas
como simples o
básicas
Atómicas

No tienen términos
de enlace

Proposiciones
Se forman de la
unión de dos o más
prop. atómicas
Moleculares
Las prop. Simples se
unenmediante
términos de enlace
Tecnología en desarrollo de software

I. LÓGICA PROPOSICIONAL
1.2 TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS
Conector Significado
¬ “no”, es la negación de una sola proposición
∧ “y”, es la conjunción entre dos proposiciones
∨ “o”, es la disyunción inclusiva entre dos proposiciones
→ “si…entonces”, es el condicional entre dos proposiciones
↔ “sí y sólo sí”, es el bicondicional entre dos proposiciones
∆, ∨ “ó”, es la disyunción exclusiva entre dos proposiciones
Tecnología en desarrollo de software

I. LÓGICA PROPOSICIONAL
1.2 TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS

𝑃 → 𝑄 ≡ ~𝑃 ∨ 𝑄

𝑃 ↔ 𝑄 ≡ (𝑃 → 𝑄) ∧ (𝑄 → 𝑃)
Tecnología en desarrollo de software

I. LÓGICA PROPOSICIONAL
1.2 TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS
Ejercicios:
1. Hallar los valores de verdad de las siguientes proposiciones:

I. 5 + 4 = 9 ∧ 4 + 7 < 10 II. 10 + 15 = 25 → 4 > 5

Tecnología en desarrollo de software

I. LÓGICA PROPOSICIONAL
1.2 TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS
Ejercicios:
2. Hallar los valores de verdad de las siguientes proposiciones:

p: 22 + 1 = 5
Si
q: 32 − 1 = 6
Indicar el valor de verdad de:
¬p ∧ q → q → p
Tecnología en desarrollo de software

I. LÓGICA PROPOSICIONAL
1.2 TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS
Ejercicios:
3. Hallar los valores de verdad de las siguientes proposiciones:

Si ¬p → q ∨ r es falso:
Indicar el valor de verdad de:
p → ¬q ∧ ¬q → r
Tecnología en desarrollo de software

I. LÓGICA PROPOSICIONAL
1.2 TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS
Ejercicios:
4. Hallar los valores de verdad de las siguientes proposiciones:

Si p → q ∨ ¬r es falsa:
s ↔ p ∆r es verdadera:

¿Esta afirmación es correcta?:

¬ p∨s ≡V