Documentos de Académico
Documentos de Profesional
Documentos de Cultura
p q p v q ¬ (p v q)
V V V F
V F F V
F V F V
F F F V
p q ¬p ¬q (¬p v ¬q)
V V F F F
V F F V V
F V V F V
F F V F V
Son equivalentemente lógicas.
p q r p →q p →r (p → q) ∧ (p → r)
V V V V V V
V V F V F F
V F V F V F
V F F F F F
F V V V V V
F V F V V V
F F V V V V
F F F V V V
Ingeniería en informática
Instituto Tecnológico Superior de Cintalapa Unidad 3: Lógica Matemática
p q r q ∧r p → (q ∧ r)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V V
F V F F V
F F V F V
F F F F V
Son equivalentemente lógicas.
p q (p → q)
V V V
V F F
F V V
F F V
p q ﹁q ﹁p (﹁q →﹁p)
V V F F V
V F V F F
F V F V V
F F V V V
Son equivalentemente lógicos.
Ingeniería en informática
Instituto Tecnológico Superior de Cintalapa Unidad 3: Lógica Matemática
p q p ∧ q
V V V
V F F
F V F
F V F
p q ﹁q (p→﹁q) ﹁ (p→﹁q)
V V F F V
V F V V F
F V F V F
F F V V F
Son equivalentemente lógicas.
p q p ↔q
V V V
V F F
F V V
F F V
p q ﹁p ﹁q ﹁p ↔﹁q
V V F F V
V F F V F
F V V F V
F F V V V
Son equivalentemente lógicas.
Ingeniería en informática
Instituto Tecnológico Superior de Cintalapa Unidad 3: Lógica Matemática
p q (p ↔ q) ﹁ (p ↔ q)
V V V F
V F F V
F V F V
F F V F
p q ﹁q p ↔﹁q
V V F F
V F V V
F V F V
F F V F
Son equivalentemente lógicas.
p q p ∧ q p → q (p ∧ q) ∧ (p → q)
V V V V V
V F F F F
F V F V F
F F F V F
Son equivalentemente lógicas.
Ingeniería en informática
Instituto Tecnológico Superior de Cintalapa Unidad 3: Lógica Matemática
p q p →q [(p → q) ∧ p] [(p → q) ∧ p] → q
V V V V V
V F F F V
F V V F V
F F V F V
p q p ∧ q p v q (p ∧ q) → (p v q)
V V V V V
V F F V V
F V F V V
F F F F V
Son equivalentemente lógicas.
P q r ¬ r p v r p ¬ r (p v r) ↔ (p ¬ r) p ∧ q [(p v r) ↔ (p ¬ r)] → (p ∧ q)
V V V F V F F F V
V V F V V F F F V
V F V F V F F F V
V F F V V F F F V
F V V F V V V V V
F V F V F V F F V
F F V F V V V V V
F F F V F V F F V
Ingeniería en informática
Instituto Tecnológico Superior de Cintalapa Unidad 3: Lógica Matemática
p q r ¬r p ∧ q p v ¬r (p ∧ q) → (p v ¬r)
V V V F V V V
V V F V V V V
V F V F F V V
V F F V F V V
F V V F F F V
F V F V F V V
F F V F F F V
F F F V F V V
Son equivalentemente lógicas.
p q ¬p ¬q (¬p v ¬q)
V V F F F
V F F V V
F V V F V
F F V F V
p q (p ↔ q) ¬q (p ↔ q) → ¬q
V V V F F
V F F V V
F V F F V
F F V V V
Son equivalentemente lógicas.
Ingeniería en informática