Instituto Tecnológico Superior de Cintalapa Unidad 3: Lógica Matemática

Francisco Merced Toledo Ortiz Ingeniería en Informática

2 “E” Matemáticas Discretas

3.1.5 Equivalencias lógicas

1._ Dada las siguientes proposiciones: [¬ (p v q)] y (¬p v ¬q) determinar si son
equivalentemente lógicas. Compruebe con su tabla de verdad.

p q
V V
V F
F V
F F
p v q ¬ (p v q)
V F
F V
F V
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.

2._ Dada las proposiciones: (p → q) ∧ (p → r) y p → (q ∧ r) determinar si son

equivalentemente lógicas. Compruebe con su tabla de verdad.

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.

3._ Dada las proposiciones: (p → q) y (﹁q →﹁p) determinar si son

equivalentemente lógicas. Compruebe con su tabla de verdad.

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

4._ Dada las siguientes proposiciones: (p ∧ q) y﹁ (p→﹁q) determinar si son

equivalentemente lógicas. Compruebe con su tabla de verdad.

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.

5._ Dada las siguientes proposiciones: (p ↔ q) y﹁p ↔﹁q determinar si son

equivalentemente lógicas. Compruebe con su tabla de verdad.

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

6._ Dada las siguientes proposiciones: ﹁ (p ↔ q) y p ↔﹁q determinar si son

equivalentemente lógicas. Compruebe con su tabla de verdad.

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.

7._ Dada las siguientes proposiciones: (p ∧ q) ∧ (p v q) y (p ∧ q) ∧ (p → q)

determinar si son equivalentemente lógicas. Compruebe con su tabla de verdad.
p q p ∧ q p v q (p ∧ q) ∧ (p v q)
V V V V V
V F F V F
F V F V F
F F F F F

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

8._ Dada las siguientes proposiciones: [(p → q) ∧ p] → q y (p ∧ q) → (p v q)

determinar si son equivalentemente lógicas. Compruebe con su tabla de verdad.

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.

9._ Dada la siguiente proposición: [(p v r) ↔ (p ¬ r)] → (p ∧ q) y (p ∧ q) → (p

v ¬r) determinar si son equivalentemente lógicas. Compruebe con su tabla de
verdad.

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.

10._ Dada las siguientes proposiciones: (¬p v ¬q) y (p ↔ q) → ¬q determinar

si son equivalentemente lógicas. Compruebe con su tabla de verdad.

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