Implicación lógica

Sean P(p, q, r), Q(p, q, r) dos proposiciones moleculares.

Diremos que “P implica lógicamente a Q” y escribiremos
“P ⇒ Q”, si el condicional “P → Q “ es tautología.

En Matemática las implicaciones lógicas se llaman

Teoremas
H⇒T
Hipótesis Tesis

Antecedente Consecuente

Notemos que: para que P ⇒ Q debe cumplirse que siendo

P verdadera, la proposición Q debe ser verdadera.
 Observación
Si P ⇒ Q decimos que “P es condición suficiente para Q”
(es suficiente que P sea verdadera para que Q también lo
sea) o que “Q es condición necesaria para P” (es
necesario que Q sea verdadera para que P lo sea), o
también, “P solo si Q” (P vale, sólo si Q vale).
 Ejemplo
Si A : p ∧ q muestre que A implica lógicamente a B.
B:p∨q
 Equivalencia lógica
Sean P(p, q, r) y Q(p, q, r) dos proposiciones moleculares, se
dice que son lógicamente equivalentes si tienen la misma
tabla de verdad o si el bicondicional es tautología ( P ⇔ Q )
 Ejemplo
Si A : p′ ∨ q, B : q′ → p′ muestre que A y B son lógicamente
equivalentes.
 Leyes lógicas o
propiedades
La noción de equivalencia da origen a ciertas leyes lógicas o
propiedades, las cuales analizaremos a continuación.

Sean p, q y r proposiciones, se tiene:

{(p ∨ p) ⇔ p
(p ∧ p) ⇔ p
1. Leyes de idempotencia:

{(p ∨ q) ⇔ (q ∨ p)
(p ∧ q) ⇔ (q ∧ p)
2. Leyes de conmutatividad:

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

[p ∧ (q ∨ r)] ⇔ [(p ∧ q) ∨ (p ∧ r)]
3. Leyes de distributividad:
 {[p ∨ (q ∨ r)] ⇔ [(p ∨ q) ∨ r]
[p ∧ (q ∧ r)] ⇔ [(p ∧ q) ∧ r]
4. Ley asociativa:

{(p ∨ q)′ ⇔ (p′ ∧ q′)

(p ∧ q)′ ⇔ (p′ ∨ q′)
5. Leyes de Demorgan:

6. Ley de doble negación: (p′)′ ⇔ p

(p → q) ⇔ p′ ∨ q
7. Condicional: (p → q) ⇔ (q′ → p′)
(p → q)′ ⇔ p ∧ q′
8. Doble Implicación: (p ↔ q) ⇔ [(p → q) ∧ (q → p)]

p∧V⇔p
p∧F⇔F
p∨V⇔V
9. No idempotencia:

p∨F⇔p
p ∨ p′ ⇔ V
p ∧ p′ ⇔ F

Total : [p ∨ (p ∧ q)] ⇔ p
[p ∧ (p ∨ q)] ⇔ p
10. Ley de absorción:
Parcial : [p ∨ (p′ ∧ q)] ⇔ (p ∨ q)
[p ∧ (p′ ∨ q)] ⇔ (p ∧ q)
 Observaciones
Si p y q son proposiciones:

• La proposición q → p se llama recíproca de

p → q

• La proposición q′ → p′ se llama contra-recíproca de

p → q

• La proposición p′ → q′se llama contraria de p → q