Download GUIA DE LOGICA PROPOSICIONAL ALGEBRA EN CONTEXTO

Document related concepts

Lógica binaria wikipedia, lookup

Álgebra abstracta wikipedia, lookup

Estructura (lógica) wikipedia, lookup

Anatoli Máltsev wikipedia, lookup

Álgebra de Heyting wikipedia, lookup

Transcript
GUIA DE LOGICA PROPOSICIONAL
ALGEBRA EN CONTEXTO
NOMBRE
FECHA
1. Comprueba que si p, q y r son proposiciones lógicas, entonces son equivalentes
𝑝 ∧ (𝑞 ∧ 𝑟) y (𝑝 ∧ 𝑞) ∧ 𝑟, es decir: 𝑝 ∧ (𝑞 ∧ 𝑟) ↔ (𝑝 ∧ 𝑞) ∧ 𝑟
2. Si Javier estudia, obtiene Buenas notas. Si no estudia, lo pasa bien en el colegio. Si
no saca buenas notas, no lo pasa bien en el colegio. Así pues Javier obtiene
buenas notas.
3. Averigua quienes están estudiando Álgebra, sabiendo que:
Si Luis estudia Álgebra, Carolina también.
Pueden estar estudiando Álgebra, Felipe o Carolina.
O Luis o Carolina estudian Álgebra, pero no ambos.
Carolina estudia Álgebra si y solo si estudia Felipe.
4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es
ciego, o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no
son conscientes de que el amor es ciego, entonces el amor no es ciego. En
conclusión, las mujeres sacan ventaja de ello.
Related documents