Documente Academic
Documente Profesional
Documente Cultură
PROPOSICIONES
Marque con una X, el literal que represente una proposición:
a) 𝑎 ∧ 𝑏 d) ¬𝑎 → 𝑏 g) (𝑎 ∧ 𝑏) → (𝑎 ∨ 𝑏)
b) 𝑎 ∨ ¬𝑏 e) ¬𝑎 ↔ 𝑏
c) 𝑎 ∨ 𝑏 f) 𝑎 ∨ (𝑎 → ¬𝑏)
TABLAS DE VERDAD
Realizar la Tabla de Verdad de cada una de las siguientes formas proposicionales:
a) 𝑝 → ¬𝑞 e) ¬𝑝 → (¬𝑞 ∨ 𝑟)
b) (¬𝑝 ∨ 𝑞) ∧ 𝑝 f) 𝑝 → (𝑞 ∧ ¬𝑟)
c) 𝑝 → (𝑞 ∧ 𝑟) g) (𝑝 → ¬𝑟) ∨ (𝑞 ∧ ¬𝑝)
d) 𝑝 ∧ (𝑞 ∨ 𝑟) h) [(𝑞 ∧ 𝑟) ∧ (𝑝 → ¬𝑟)] → (𝑝 ∨ ¬𝑞)
a) (𝑝 → ¬𝑞) → (¬𝑞 → 𝑝)
b) (¬𝑝 ∨ 𝑞) → (𝑞 → 𝑝)
c) [(𝑝 ∧ ¬𝑞) ∨ (𝑝 ∧ 𝑟)] → [𝑝 ∧ (¬𝑞 ∨ 𝑟)]
d) (𝑞 → 𝑝 ) → (¬𝑞 ∧ 𝑝)
a) (𝑝 ∧ 𝑞) → 𝑝
b) [𝑝 ∧ (𝑝 → 𝑞)] → 𝑝
c) (𝑝 ∧ 𝑞) → (𝑝 ∨ 𝑞)
d) [¬𝑝 ∧ (𝑝 → 𝑞)] → ¬𝑞
e) ¬(𝑝 ∨ 𝑞) → (¬𝑝 ∧ ¬𝑞)
a) [𝑝 ∧ (𝑝 → ¬𝑞)] → ¬𝑞
b) [¬𝑝 ∧ (𝑞 ∨ ¬𝑝)] → ¬𝑝
c) [¬𝑝 ∧ (𝑝 → ¬𝑞)] → ¬𝑞
d) [(𝑞 → 𝑟) ∧ (𝑝 → 𝑞)] → (𝑝 → 𝑟)
e) [(¬𝑝 ∨ 𝑞) ∧ ¬𝑞] → ¬𝑝
OPERADORES LÓGICOS
En el recuadro de la derecha, escribir el símbolo del operador lógico utilizado en cada una a de los
siguientes enunciados:
Traducir al LENGUAJE FORMAL la expresión: “Si Novak Djokovic ganó el torneo de maestros
entonces Novak Djokovic es maestro de maestros y Roger Federer no es el maestro del tenis”
Traduzca al LENGUAJE FORMAL: “El príncipe de Jordanía Alí Bin Al Hussein desafía a Blatter en las
próximas elecciones porque La FIFA ha dado mucho que hablar en los últimos tiempos y Joseph
Blatter es el Presidente de la FIFA”
VARIANTES DE LA CONDICIONAL
Considerando las proposiciones atómicas:
𝑎: Estoy cansado
𝑏: Llegaré a dormir a casa
Traduzca al LEGUNAJE FORMAL la expresión: “Si estoy cansado entonces llegaré a dormir a la
casa”. Luego, encuentre su RECÍPROCA, INVERSA y CONTRARECÍPROCA. Escriba su respuesta en
LENGUAJE FORMAL y LENGUAJE COMÚN.
ÁLGEBRA DE PROPOSICIONES
Sean las proposiciones:
𝑎: Los martes hay promociones en las pizzerías
𝑏: Los martes compras 2 pizzas por el precio de una
Entonces la TRADUCCIÓN al LENGUAJE FORMAL de la expresión:
“Los martes hay promociones en las pizzerías y Los martes compras 2 pizzas por el precio de una”
es:
a) 𝑎 ∨ 𝑏
b) 𝑎 → 𝑏
c) 𝑏 ∧ 𝑎
d) 𝑎 ∨ 𝑏
es:
a) 𝑎 ∨ (𝑏 ∨ 𝑐)
b) ¬𝑎 ∨ (𝑏 ∧ 𝑐)
c) ¬𝑎 ∨ (𝑏 ∨ 𝑐)
d) 𝑎 → (𝑏 ∧ 𝑐)
a) ¬𝑚 → ¬𝑛
b) 𝑚 ∨𝑛
c) 𝑛 → ¬𝑚
d) 𝑚∧𝑛
a) (𝑞 ∨ 𝑟) → 𝑝
b) 𝑝 → (𝑞 ∧ 𝑟)
c) (𝑞 ∧ 𝑟) → 𝑝
d) 𝑝→𝑟
e) 𝑝
a) ¬𝑝 ∨ 𝑞 ∨ 𝑟
b) 𝑝
c) (𝑝 ∧ 𝑞) → 𝑟
d) (𝑝 ∨ 𝑞) → 𝑟
Dada la expresión:
(𝑎 ∨ ¬𝑏) → 𝑐
Entonces su CONTRA-RECÍPROCA, es:
a) 𝑐 → (𝑎 ∨ ¬𝑏)
b) ¬𝑐 → (¬𝑎 ∨ 𝑏)
c) ¬𝑐 → (¬𝑎 ∧ 𝑏)
d) (¬𝑎 ∧ 𝑏) → ¬𝑐
Para la expresión:
(𝑎 ∨ ¬𝑏) → 𝑐
La INVERSA, es:
a) 𝑐 → (𝑎 ∨ ¬𝑏)
b) ¬𝑐 → (¬𝑎 ∨ 𝑏)
c) ¬𝑐 → (¬𝑎 ∧ 𝑏)
d) (¬𝑎 ∧ 𝑏) → ¬𝑐
RAZONAMIENTOS
Dadas las siguientes premisas:
𝑃1 : Si veo mucha TV entonces no tengo que estudiar
𝑃2 : Veo mucha TV
Considere las proposiciones:
𝑝: Veo mucha TV y 𝑞: Tengo que estudiar
Entonces una conclusión que hace VÁLIDO el razonamiento es:
a) ¬𝑝
b) 𝑞
c) ¬𝑝 ∧ 𝑞
d) ¬𝑝 ∨ 𝑞
e) 𝑝 ∨ ¬𝑞