UNIVERSIDAD NACIONAL EXPERIMENTAL POLITÉCNICA

DIRECCIÓN DE INVESTIGACIÓN Y POSTGRADO

Alumno: Naila Torres

EJERCICIOS SECCION 01

1.1 Obtener P v Q

P Q PvQ

V V V

V F V

F V V

F F F

1.2 Probar que ¬ ≈ ¬ P v ¬ Q

P ¬P Q ¬Q PΛQ ¬ (P Λ Q) ¬Pv¬Q

V F V F V F F

V F F V F V V

F V V F F V V

F V F V F V V

Por lo tanto, ¬ (P Λ Q) ) ≈ ¬ P v ¬ Q L.Q.D.

Ley de Morgan

1.3 Probar que:

a. P Λ (Q v R) ≈ (P Λ Q) v (P Λ R)

P Q
V V
V V
V F
V F
F V
F V
F F
F F
(P Λ Q) v (P Λ
R QvR P Λ (Q v R) (P Λ Q) (P Λ R)
R)
V V V F V V
F V V F F V
V V V V V V
F F F V F F
V V F V F F
F V F V F F
V V F V F F
F F F V F F

Por lo tanto, P Λ (Q v R) ≈ (P Λ Q) v (P Λ R) L.Q.D

 a. P Λ (Q v R) ≈ (P v Q) Λ (P v R)

P Q R QΛR P v (Q Λ R) (P v Q) (P v R) (P v Q) Λ (P v R)

V V
V V
V F
V F
F V
F V
F F
F F
V V V F V V
F F V F V V
V F V F V V
F F V F V V
V V V F V V
F F F F F F
V F F V V F
F F F V F F

a. Por lo tanto, P Λ (Q v R) ≈ (P v Q) Λ (P v R) L.Q.D

1.4 Probar que P ≈ ¬ (¬P )

P ¬P ¬ (¬P )
V F V
F V F

Por lo tanto, ¬ P ≈ ¬ (¬P ) L.Q.D.

1.5 Simplificar ¬ (¬P v ¬Q)

¬ (¬P v ¬Q) = ¬ (¬P) Λ ¬ (¬Q)

= PΛQ
1.6 Simplificar ¬ (¬Q Λ ¬ P)

¬ (¬Q Λ ¬ P) = ¬ (¬Q) v ¬ (¬P)

= PvQ
1.7 Son equivalentes P → Q y Q → P
No son equivalentes

1.8 Cuales de las siguientes proposiciones son tautología:

1.8.1 P↔¬(¬P) TAUTOLIGIA
1.8.2 ¬(P VQ) ↔¬P Λ ¬Q TAUTOLIGIA
1.8.3 P v ¬P NO
1.8.4 (P v ¬P) Λ (Q v ¬Q) NO
1.8.5 P Λ ¬P NO
1.8.6 (P Λ ¬P) → Q TAUTOLOGIA
1.8.7 (P↔ Q) →(P→ Q) TAUTOLOGIA
1.8.8 (P→ Q) ↔(¬P v Q) TAUTOLOGIA