1a - Lógica Proposicional

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

Universidad Atlántida Argentina Facultad de Psicología

Elementos de Matemática

GUÍA DE EJERCICIOS N° 1:

Lógica Proposicional

1. Sean p = “Hace Frío” y q = “Está lloviendo”. Describir con un enunciado verbal las
siguientes aserciones:

a. - p f. q v - p
b. p ʌ q g. - p ʌ - q
c. p v q h. p ↔ - q
d. q ↔ p i. - (- q)
e. p → - q

2. Sean 𝑝=“Él es alto” y 𝑞=“Él es galán”. Escribir los siguientes enunciados en forma
simbólica con 𝑝 y 𝑞.

a. Él es alto y galán. d. Él no es ni alto ni galán.

b. Él es alto pero no es galán. e. Él es alto, o él es bajo y galán

c. Es falso que él es bajo o galán. f. No es verdad que él es bajo o que

no es galán.

3. Evaluar cada proposición según sus valores de verdad: p = F; q = V; r = F; s = V

a. (p
̅ vq
̅) v p d. [(𝑝 ∨ 𝑞) ∨ 𝑟] ∧ 𝑠

b. p v ̅̅̅̅̅̅̅̅
(q ʌ r) e. −𝑞 → (𝑟 ∧ 𝑞)

c. ̅̅̅̅̅̅̅̅̅
(p v q) ʌ (p
̅ v r) f. (𝑟 ∧ 𝑠) ↔ (−𝑞 ∨ 𝑠)

Cátedra: Prof. Marina Massi – Prof. Silvia Radanich 1


Universidad Atlántida Argentina Facultad de Psicología
Elementos de Matemática

4. Simbolizar los siguientes enunciados e indicar cuál es tautología

a. Haré el ejercicio o no lo haré


b. Si no lo hago, pierdo tiempo
c. Si hago el ejercicio y aprendo, entonces aprendo
d. Hago el ejercicio y aprendo, si y sólo si aprendo y hago los ejercicios

5. Hallar las tablas de verdad de las siguientes formas proposicionales y determinar si son
Tautologías, Contradicciones o Contingencias:

a. - (p → - q) d. [p → (- q v r)] ʌ ¬ [q v (p ↔ - r)]

b. (p ʌ - q) → p e. [(p ʌ - r) v (p ʌ q)] → (- p v r)

c. (p → p) ↔ (q ∧ −q) f. [p → (q → r)] → [(p → q) → (p → r)]

Cátedra: Prof. Marina Massi – Prof. Silvia Radanich 2

También podría gustarte