Taller 1 de lógica proposicional
Yadira RuizApuntes22 de Julio de 2021
713 Palabras (3 Páginas)409 Visitas
Lógica Proposicional
Yadira Ruiz Andrade
Sebastian Salazar Vargas
Facultad de economía y administración, Universidad surcolombiana
Matemáticas I
Mtro. Fabian Andres Caballero Murcia
21 de junio de 2021
Taller 1 de lógica proposicional
1. La clave de la nemotecnia es la creatividad y la imaginación si y solo si aprende a utilizar el cerebro derecho.
p: La clave de la nemotecnia es la creatividad
q: La clave de la nemotecnia es la imaginación
r: si y solo si aprende a utilizar el cerebro derecho.
FBF: (p ∧ q) ↔r
p | q | r | (p ∧ q) | (p ∧ q) ↔r |
V | V | V | V | V |
V | V | F | V | F |
V | F | V | F | F |
V | F | F | F | V |
F | V | V | F | F |
F | V | F | F | V |
F | F | V | F | F |
F | F | F | F | V |
La FBF representa una indeterminación o contingencia.
2. Si se baja la bolsa 15 puntos, deberías vender el 10% de las acciones de la empresa y no comunicarlo al Consejo.
p: Si se baja la bolsa 15 puntos
q: deberías vender el 10% de las acciones de la empresa
r: las acciones de la empresa y no comunicarlo al Consejo.
FBF: p ↔ (q∧∼ r)
p | q | r | ∼r | (q∧∼ r) | p ↔ (q∧∼ r) |
V | V | V | F | F | F |
V | V | F | V | V | V |
V | F | V | F | F | F |
V | F | F | V | F | F |
F | V | V | F | F | V |
F | V | F | V | V | F |
F | F | V | F | F | V |
F | F | F | V | F | V |
La FBF representa una indeterminación o contingencia.
3. No por mucho madrugar amanece más temprano.
P: No por mucho madrugar.
Q: amanece más tempano.
FBF: ∼ (p→q)
p | q | ∼p | ∼q | ∼ (p→q) |
V | V | F | F | |
V | F | F | V |
|
F | V | V | F |
|
F | F | V | V |
|
La FBF representa una indeterminación o contingencia.
4. Juan abrirá la puerta y saldrá a la calle, sólo en el caso de que, si María viene en el auto, no venga con ella Pedro.
P: Juan abrirá la puerta y saldrá a la calle
Q: Juan abrirá la puerta sólo en el caso de que
R: Juan abrirá la puerta si María viene en el auto
S: no venga con ella Pedro
FBF: (p ∧ q) ↔ (r→∼ s)
p | q | r | s | ∼s | (p ∧ q) | (r→∼ s) | (p ∧ q) ↔ (r→∼ s) |
V | V | V | F | V | V | V | V |
V | V | V | V | F | V | F | F |
V | V | F | F | V | V | V | V |
V | V | F | V | F | V | V | V |
V | F | V | F | V | F | V | F |
V | F | V | V | F | F | F | V |
V | F | F | F | V | F | V | F |
V | F | F | V | F | F | V | F |
F | V | V | F | V | F | V | F |
F | V | V | V | F | F | F | V |
F | V | F | F | V | F | V | F |
F | V | F | V | F | F | V | F |
F | F | V | F | V | F | V | F |
F | F | V | V | F | F | F | V |
F | F | F | F | V | F | V | F |
F | F | F | V | F | F | V | F |
La FBF representa una indeterminación o contingencia.
5.
p | q | r | ~q | 𝒑 ∧ q | 𝒓 ∨∼ q | (𝒑 ∧ 𝒒) → (𝒓 ∨∼ 𝒒) |
V | V | V | F | V | V | V |
V | V | F | F | V | F | F |
V | F | V | V | F | V | V |
V | F | F | V | F | V | V |
F | V | V | F | F | V | V |
F | V | F | F | F | F | V |
F | F | V | V | F | V | V |
F | F | F | V | F | V | V |
La FBF representa una indeterminación o contingencia.
6.
p | q | r | q’ | 𝒑 → q | 𝒒′ ∧ r | (𝒑 → 𝒒) ∨ (𝒒′ ∧ 𝒓) | 𝒓 → q | (𝒑 → 𝒒) ∨ (𝒒′ ∧ 𝒓) ↔ (𝒓 → 𝒒) |
V | V | V | F | V | F | V | V | V |
V | V | F | F | V | F | V | V | V |
V | F | V | V | F | V | V | F | F |
V | F | F | V | F | F | F | V | F |
F | V | V | F | V | F | V | V | V |
F | V | F | F | V | F | V | V | V |
F | F | V | V | V | V | V | F | F |
F | F | F | V | V | F | V | V | V |
La FBF representa una indeterminación o contingencia.
...