IIC1253
Matemáticas Discretas
216 preguntas de desarrollo de pruebas (2015-2 a 2026-1), con la respuesta de la pauta.
GuardadosNada todavía
Toca el marcador en cualquier pregunta para guardarla en una colección (por ejemplo «Interrogaciones» o «Exámenes») y volver a ella después.
Busca en el enunciado, las alternativas, la explicación y la pauta de cada pregunta. Escape borra.
Preguntas de desarrollo
216 preguntas·página 1 de 15
Lógica proposicional y demostraciones
43 preguntas- Consecuencia lógica con ϕ→ψ; {¬,⊻} no es funcionalmente completoSin intentarInterrogación 1 2015-2·Pregunta 1
- Animales en jaulas con depredadoresSin intentarInterrogación 1 2015-2·Pregunta 4
- Inconsistencia ⇔ Σ ⊨ ⊥; propiedades de relaciones en lógica de predicadosSin intentarExamen 2015-2·Pregunta 1
- Asignación de invitados a mesas en lógica proposicionalSin intentarInterrogación 1 2016-2·Pregunta 2
- {↑} funcionalmente completo; consecuencia ⇒ tautología encadenadaSin intentarInterrogación 1 2016-2·Pregunta 3
- Toda fórmula equivale a una en CNFSin intentarInterrogación 1 2017-1·Pregunta 1
- Emparejamiento perfecto como conjunto de fórmulasSin intentarInterrogación 1 2017-1·Pregunta 3
- Fórmulas monótonas y {∧,∨}-fórmulasSin intentarInterrogación 1 2017-1·Pregunta 4
- {¬} no es funcionalmente completo; consecuencia lógica ⇔ inconsistenteSin intentarInterrogación 1 2017-2·Pregunta 1
- Bono público: modelar en lógica proposicionalSin intentarInterrogación 1 2017-2·Pregunta 3
- Consecuencia lógica ⇔ Σ ∪ {¬α} inconsistenteSin intentarInterrogación 1 2018-1·Pregunta 1
- Cadenas de consecuencias lógicas de largo máximoSin intentarInterrogación 1 2018-1·Pregunta 3
- Laberinto como fórmula proposicionalSin intentarInterrogación 1 2018-1·Pregunta 4
- Modelar cuadrados mágicos de 3×3 en lógica proposicionalSin intentarInterrogación 1 2018-2·Pregunta 1
- Completitud funcional del conectivo ←Sin intentarInterrogación 1 2018-2·Pregunta 3