Chapter 1
4th
SECONDARY
LÓGICA PROPOSICIONAL
MOTIVATING | STRATEGY
o ¡Qué calor! • El Sol es fuente de energía
o ¿Qué hora es? • Miguel Grau es un héroe
o Te quiero chileno
mucho • 3+4=7
o Te esperaré • Paris es al capital de Italia
¿Qué diferencia observas entre
los enunciados de ambas
columnas?
HELICO | THEORY La lógica es una ciencia que estudia los métodos o
procedimientos que aplican definiciones y leyes o
reglas con el propósito de determinar la validez o
invalidez de las proposiciones.
PROPOSICIÓN LÓGICA CLASES DE PROPOSICION
Ejemplo Lima es la capital del Perú. Proposición simple
La Tierra es un planeta Ejemplo
VARIABLE PROPOSICIONAL Europa es un continente = 𝒑
Ejemplo Marcos es físico = 𝒑 Proposición compuesta
Marcos es matemático = 𝒒
Ejemplo
Rosa es amable y respetuosa = 𝒑 ∧ 𝒒
HELICO | THEORY
A Negación (∼) En conclusión: ∼ p : no p
∼ (∼ p) ≡ p
Ejemplo p : Juan es abogado
∼ p : No es cierto que Juan sea abogado
q : Todos los varones son fieles También: ∼ (F) ≡ V
∼ (V) ≡ F
∼q : Algunos varones son fieles
Su tabla de verdad resulta
B Conjunción (∧) “y” p q ( p ∧ q)
Ejemplo V V V
Mateo es ingeniero = 𝒑
V F F
Mateo es profesor = 𝒒
F V F
Mateo es ingeniero y profesor = 𝒑 ∧ 𝒒
F F F
HELICO | THEORY
Su tabla de verdad resulta
C Disyunción débil (∨) “o” p q ( p ∨ q)
Ejemplo
V V V
La matemática es exacta = 𝒑
V F V
La matemática es aplicativa = 𝒒
F V V
La matemática es exacta o aplicativa = 𝒑 ∨ 𝒒
F F F
Su tabla de verdad resulta
D Disyunción fuerte (Δ) “o... o ...”
p q ( p Δ q)
Ejemplo
V V F
Adriana nació en Cuzco = 𝒑
V F V
Adriana nació en Arequipa = 𝒒
F V V
O Adriana nació en Cuzco o nació en Arequipa = 𝒑 Δ 𝒒
F F F
HELICO | THEORY
Su tabla de verdad resulta
E Condicional (→) “si ..., entonces...” p q ( p → q)
Ejemplo V V V
estudio = 𝒑 V F F
apruebo = 𝒒
F V V
Si estudio, entonces apruebo = 𝒑 → 𝒒 V
F F
Bicondicional (↔) Su tabla de verdad resulta
F “si y solo si”
p q ( p ↔ q)
Ejemplo
Omar es profesor = 𝒑 V V V
V F F
Omar es ingeniero = 𝒒
Omar es profesor si y solo si es ingeniero = 𝒑 ↔ 𝒒 F V F
F F V
HELICO | PRACTICE
1. De los enunciados, ¿cuál(es) RESOLUCIÓN
es (son) proposición(es)?
I. Lima es la capital de Ecuador. ( ) Es FALSO es una proposición
II. 8 × 3 – 5 = 20 ( )
Es FALSO es una proposición
III. ¿Qué día es? ( ) Es una pregunta no es una proposición
IV. Un tablero de ajedrez se ( ) Es VERDAD es una proposición
compone de 64 casilleros iguales.
HELICO | PRACTICE
2. Al desarrollar (p Δ ∼ q) → ∼ r mediante
la tabla de verdad. ¿Cuántas verdaderas
(V) aparecen?
RESOLUCIÓN p q r ( p Δ ∼q ) → ∼r
V V V V V F F F
V V F V V F V V
V F V V F V V F
V F F V F V V V
F V V F F F V F
F V F F F F V V
F F V F V V F F Aparecen 6
F F F F V V V verdaderas
V
HELICO | PRACTICE
3. Escriba verdadero (V) o falso RESOLUCIÓN
(F) según corresponda.
𝑎. (2×3=5) → (7–1=8)
𝑎. (2×3 = 5) → (7–1 = 8) ( )
→ ≡
𝑏. ( 16+ 1 = 9) ∨ (5×4 = 22) ( )
𝑏. ( 16 + 1 =9) ∨ (5×4 =22)
𝑐. [MCM(4; 6) = 24] ↔ (3! = 9) ( )
𝑑. (7+3×2 = 20) ∧ (5+9 = 14) ( ) ∨ ≡
𝑐. [MCM(4; 6) =24] ↔ (3! = 9)
↔ ≡
𝑑. (7+3×2 =20) ∧ (5+9 = 14)
∧ ≡
HELICO | PRACTICE
4.
RESOLUCIÓN
Si la proposición compuesta
(∼ p ∧ r) → (t ∨ ∼ q) es falsa. Luego de conocer los valores de
Halle el valor de verdad en: verdad de cada variable, se evalúa la
proposición planteada
(∼ r Δ p ) ↔ (∼ t ∧ q )
Primero analizamos la condicional (∼ r Δ p ) ↔ (∼ t ∧ q)
(∼ p ∧ r ) → (t ∨ ∼ q)
Donde: El valor de verdad de la
𝑝 = F; 𝑞 = V; 𝑟 = V; 𝑡 = F proposición planteada es
FALSO
HELICO | PRACTICE
5. Dadas las proposiciones RESOLUCIÓN
𝒑: 2> 3 𝒑: 2> 3 ( F)
𝒒 : 2 × 8 = 17 𝒒 : 2 × 8 = 17 ( F)
𝒓 : 5! = 120 𝒓 : 5! = 120 ( V)
Halle el valor de verdad en: (∼ q ∨ r ) → ( p Δ ∼ r )
(∼ q ∨ r) → (p Δ ∼ r)
V V F F
V F
F
HELICO | PRACTICE
6. Arianna es una alumna responsable y RESOLUCIÓN
esta repasando para su práctica dirigida
de Aritmética y se dispone a simbolizar
el siguiente enunciado:
“Si no es el caso que Mario sea comerciante
y próspero industrial, entonces es ingeniero
o no es un comerciante”.
De las proposiciones
𝑝 ∶ “Mario es comerciante”.
𝑞 ∶ “Mario es un próspero industrial”.
𝑟 ∶ “Mario es ingeniero”.
∼ ( p ∧ q ) → (r ∨ ∼ p )
HELICO | PRACTICE
Una maestra decide tomar un prueba sorpresa al terminar la clase de Lógica proposicional para
7. comprobar los conocimientos adquiridos por sus alumnos, uno de los problemas tomados dice:
Escriba verdadero (V) o falso (F) según corresponda.
𝑎. p q (p ∧ ∼ q) → ( ∼ p Δ q ) ; es una tautología. ( F )
V V V F F V F V V
V F V V V F F F F
F V F F F V V F V
F F F F V V V V F
𝑏. p q (∼q ∧ p ) → q ; es una contradicción. (F )
V V F F V V V
V F V V V F F
F V F F F V V
F F V F F V F