Conectivos Lógicos

Negación

p ¬p

V F
F V

Conjunción

p q p∧q

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

Disjunción

p q p∨q

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

Condicional o implicación

p q p→q

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

1
 p q p→q

p → q se lee:

• p implica q
• si p, entonces q
• p sólo si q

• q si p
• p es condición suficiente para q
• q es condición necesaria para p

Recíproco de la implicación

El recíproco de p → q es q → p
Tienen valores diferentes

Contrarrecíproco de la implicación

El contrarrecíproco de p → q es ¬q → ¬p
Tienen los mismos valores

Contrario de la implicación

El contrarrio de p → q es ¬p → ¬q
Tienen valores diferentes

Bicondicional

p q p↔q

V V V
V F F
F V F
F F2 V
p ↔ q se lee:

• p si sólo si q
• p es necesario y suficiente para q

• p es equivalente a q

Tautología

Doble negación

¬¬p ⇔ p

Leyes conmutativas

a) (p ∧ q) ⇔ (q ∧ p)

b) (p ∨ q) ⇔ (q ∨ p)

Leyes asociativas

a) [(p ∧ q) ∧ r)] ⇔ [p ∧ (q ∧ r)]

b) [(p ∨ q) ∨ r)] ⇔ [p ∨ (q ∨ r)]

Leyes distributivas

a) [p ∨ (q ∧ r)] ⇔ [(p ∨ q) ∧ (p ∨ r)]

b) [p ∧ (q ∨ r)] ⇔ [(p ∧ q) ∨ (p ∧ r)]

Leyes de idempotencia

a) (p ∨ p) ⇔ p

b) (p ∧ p) ⇔ p

3
Leyes de De Morgan

a) ¬(p ∨ q) ⇔ (¬p ∧ ¬q)

b) ¬(p ∧ q) ⇔ (¬p ∨ ¬q)
c) (p ∨ q) ⇔ ¬(¬p ∧ ¬q)
d) (p ∧ q) ⇔ ¬(¬p ∨ ¬q)

Contrapositiva

(p → q) ⇔ (¬q → ¬p)

Implicación

a) (p → q) ⇔ (¬p ∨ q)
b) (p → q) ⇔ ¬(p ∧ ¬q)
c) (p ∨ q) ⇔ (¬p → q)

d) (p ∧ q) ⇔ ¬(p → ¬q)
e) [(p → r) ∧ (q → r)] ⇔ [(p ∧ q) → r)]
f) [(p → q) ∧ (p → r)] ⇔ [(p → (q ∧ r))]

Equivalencia

(p ↔ q) ⇔ [(p → q) ∧ (q → p)]

Adición

p ⇒ (p ∨ q)

Simplificación

(p ∧ q) ⇒ p

Absurdo

(p → F ) ⇒ ¬p

4
Modus ponens

[p ∧ (p → q)] ⇒ q

Modus tollens

[(p → q) ∧ ¬q] ⇒ ¬p

Transitividad del ↔

[(p ↔ q) ∧ (q ↔ r)] ⇒ (p ↔ r)

Transitividad del →

[(p → q) ∧ (q → r)] ⇒ (p → r)

Más implicaciones lógicas

a) (p → q) ⇒ [(p ∨ r) → (q ∨ r)]

b) (p → q) ⇒ [(p ∧ r) → (q ∧ r)]
c) (p → q) ⇒ [(q → r) → (p → r)]

Dilemas constructivos

a) [(p → q) ∨ (r → s)] ⇒ [(p ∨ r) → (q ∨ s)]

b) [(p → q) ∧ (r → s)] ⇒ [(p ∧ r) → (q ∧ s)]

Contradicción

p ¬p p ∧ ¬p

F V F
V F F

Ej: “La computadoras es negra y la computadora no es negra”

5
Equivalencia lógica

Cuando los resultados de dos proposiciones tienen los mismos valores de verdad.
Se indica como p ⇔ q

Operadores Universal y Existencial

Universal

∀x : p(x)
Puede leerse :

• Para todo x, p(x)

• Para cada x
• Para cualquier x
• Para x arbitrario

Existencial

∃x : p(x)
Puede leerse :

• Existe un x tal que p(x)

• Para algún x, p(x)

• Existe, al menos, un x tal que p(x)

Equivalencias

• ¬∀x ∈ A p(x) ⇔ ∃x ∈ A : ¬p(x)

• ¬∃x ∈ A : p(x) ⇔ ∀x ∈ A ¬p(x)

Alcance de un operador

El alcance se indica con paréntesis

(∃x) : x es verde ∧ x es rojo
(∃x) : ( x es verde ∧ x es rojo)