Practica de Lógica Matemática
Practica de Lógica Matemática
Practica de Lógica Matemática
ISFODOSU
Practica No 1
Nombre de la asignatura: Matemática I
Nombre _______________________
Leonelvin Jiménez Vargas Matrícula _________________
20203-0226
3. algunos los libros son más extensos que este libro. Ningún libro es más
extensos que este libro
3. ~(~p^q): No es cierto que ella no tiene ojos verdes y él tiene 48 años de edad.
V. Utilice los conceptos presentes en esta sección para responder los ejercicios
P= v q= f ~q= v
p^~q= v ^q= f
P= v q= v
p^q= v
VI. Sea que p represente una proposición falsa y q una proposición verdadera.
Encuentre el valor de verdad de las proposiciones mostradas a continuación:
1. p v ~q: falsa
1. p v ~q: 2n = 22 = 4
3. (p ^ r) v ~q: 2n = 23 = 8
a) [(p ∧ ∼ q) v ∼ r] ⇒ q falsa
a) [(q ⇔ p) ∧ ∼ q] ⇒ (p ∧ ∼ q) Falsa P= f q= f
2. [(p v q) ⇒ r] ⇔ [(p ⇔ q) v r]
p q r pvq p⇔q (p v q) ⇒ r (p ⇔ q) v r [(p v q) ⇒ r] ⇔ [(p ⇔ q) v r]
v v v v v v v v
v v f v v f v f
v f v v f v v v
v f f v f f f v
= (K)
f v v v f v v v
f v f v f f f v
f f v f f v v v
f f f f v v v v
3. ∼ {[∼p ∧ (∼q v p)] ⇒ q}
p q ∼p ∼q ∼q v p ∼p ∧ (∼q v p) [∼p ∧ (∼q v p)] ⇒ q ∼ {[∼p ∧ (∼q v p)] ⇒ q}
v v f f v f v f
v f f v v f v f
f v v f f f v f = (K)
f f v v v v f v
4. [(p ∧ ∼q) ⇒ q] ⇔ (p ⇒ q)
p q ∼q p ∧ ∼q p ⇒ q (p ∧ ∼q) ⇒ q [(p ∧ ∼q) ⇒ q] ⇔ (p ⇒ q)
v v f f v v v
v f v v f f v = (T)
f v f f v v v
f f v f v v v