Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Trabajo de Matematica Discreta
Trabajo de Matematica Discreta
(a) enunciado
(b) proposición falsa
(c) enunciado abierto
(d) enunciado
(e) enunciado
(f) proposición abierta
2. Clasificar las siguientes proposiciones en simples o compuestas. Si la proposición
en cuestión es compuesta, identifica las proposiciones simples que la componen.
(a) proposición compuesta
(b) proposición simple
(c) proposición compuesta
(d) proposición simple
3. Construya tablas de verdad para las siguientes fórmulas y clasifíquelas como
tautologías, contingencias o contradicciones:
(p → q) ↔ ¬p ∨ q
p q ¬p p→q ¬p ∨ q p → q ↔ ¬p ∨ q
v v f v v v
v f f f f v
f v v v v v
f f v v v v
(p ∧ q) ∨ r → p ∧ (q ∨ r)
p q r p∧q q∨r (p ∧ q) ∨ r p ∧ (q ∨ r) p ∧ q∨ r → p ∧ q ∨ r
v v v v v v v v
v v f v v v v v
v f v f v v v v
v f f f f f f v
f v v f v v f f
f v f f v f f v
f f v f v v f f
f f f f f f f v
4. Demuestre que p → q y ¬q → ¬p son lógicamente equivalentes.
p q ¬p ¬q p→q ¬q → ¬p
v f f v f f
v f f v f = f
f v v f v v
f v v f v v
5. Si