1.

LOGICA MATEMATICA
1.1 PROPOSISCIONES Y CONECTIVOS LOGICOS
el concepto de Lógica Proposicional. Como su nombre lo explícita, trabajaremos
con proposiciones lógicas; las cuales poseen un valor de verdad (verdadero o
falso). Por convención, las denotaremos con letras minúsculas. Por ejemplo; p,q,r,s.
Existen proposiciones simples y compuestos, las proposiciones compuestas están
formadas por más de una proposición simple, las cuales están unidas a través de
conectivos lógicos.

(Negación): Sea p una proposición lógica. La negación de p se denota -p y toma el

valor de verdad contrario a p.
(Conectivos Lógicos) Se definen los conectivos lógicos:
1. ∧: Conjunción ("y")
2. ∨: Disyunción ("o").
3. ⊻: Disyunción Exclusiva ("o bien").
4. ⇒: Implicancia ("entonces").
5. ⇔: Equivalencia ("si y sólo si").

1.2 TABLA DE VERDAD

Una Tabla de Verdad representa los valores de verdad que puede tomar una
proposición compuesta, en función de todos los posibles valores de verdad de las
proposiciones simples que componen esta última.

(Conjunción, "y lógico") Dados p,q; dos proposiciones lógicas, se construye su

conjunción como(p ∧ q). Se lee: p y q.
(p ∧ q) es verdadera si p y q son simultáneamente verdaderas. En los demás casos,
es falsa. La conjunción posee la tabla de verdad

p q (p∧q)
V V V
V F F
F V F
F F F
(Disyunción, "o lógico") Dados p,q; dos proposiciones lógicas, se construye su
disyunción como (p ∨ q). Se lee: p o q.
(p ∨ q) es falsa si p y q son simultáneamente falsas. En los demás casos, es
verdadera. La disyunción posee la tabla de verdad.

p q (p∨q)
V V V
V F V
F V V
F F F

(Disyunción Exclusiva, "o bien") Dados p,q; dos proposiciones lógicas, se construye

su disyunción exclusiva como (p ⊻ q). Se lee: p o bien q.
(p ⊻ q) es falsa si p y q tienen el mismo valor de verdad. En caso contrario, es
verdadera. La disyunción exclusiva posee la tabla de verdad

p q (p⊻q)
V V F
V F V
F V V
F F F

(Implicancia, "entonces") Dados p,q; dos proposiciones lógicas, se construye su

implicancia como (p ⇒ q). Se lee: p entonces q.
(p ⇒ q) es falsa si q es falsa. En los demás casos, es verdadera. La implicancia posee
la tabla de verdad

p q (p⇒q)
V V V
V F F
F V V
F F V
 (Equivalencia, "si y sólo si") Dados p,q; dos proposiciones lógicas, se construye su
equivalencia como (p ⇔ q). Se lee: p si y sólo si q.
(p ⇔ q) es verdadera si p y q tienen el mismo valor de verdad. En caso contrario, es
falsa. La equivalencia posee la tabla de verdad

p q (p ⇔ q)
V V V
V F F
F V F
F F V

1.3 TAUTOLOGÍA

En lo que sigue, buscaremos métodos que nos permitan demostrar que una
determinada proposición compuesta es verdadera.

Cuando una proposición compuesta es verdadera, se denomina tautología. Si es falsa,

se dice que es una contradicción.

Para verificar si una proposición compuesta es tautología, existen tres métodos que
revisaremos a continuación:
a) TABLAS DE VERDAD
Este método consiste en descomponer una proposición compuesta mediante
proposiciones simples, explorando todos sus posibles valores de verdad.

P q (p ⇔ q) (p ∨ q) (p ⇔ q) ∨ (p ∨ q) Como todos los casos posibles

V V V V V son verdaderos, entonces (p ⇔
V F F V V q) ∨ (p ∨ q) es una
Tautología
F V F V V
F F V F V

b) Álgebra de Proposiciones (mediante Tautologías Notables)

Considere las siguientes Tautologías Notables (las cuales se demuestran
mediante tablas de verdad), para probar que una determinada proposición
compuesta es tautología. Sean p,q,r. proposiciones lógicas.
1. Involución: -(-p) ⇔ p.
2. Conmutatividad: p ∨ q ⇔ q ∨ p y p ∧ q ⇔ q ∧ p.
3. Asociatividad: (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) y (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r).
4. Distribuitividad: (p ∨ q) ∧ r ⇔ (p ∧ r) ∨ (q ∧ r) y (p ∧ q) ∨ r ⇔ (p ∨ r) ∧ (q ∨ r).
 5. Idempotencia: (p ∨ p) ⇔ p y (p ∧ p) ⇔ p.
6. Identidad: 
(p ∨ F) ⇔ p
(p v V) ⇔ V
(p ∧ F) ⇔ F
(p ∧ V) ⇔ p.
7. Complemento: -V ⇔ F, -F ⇔ V, p ∨ -p ⇔ V y p ∧ -p ⇔ F
8. Morgan: - (p ∨ q) ⇔ -p∧-q y - (p ∧ q) ⇔ -p∨-q.
9. Absorción: (p ∨ q) ∧ q ⇔ q y (p ∧ q) ∨ q ⇔ q.
10. Simetría de la Equivalencia: (p ⇔ q) ⇔ (q ⇔ p).
11. Caracterización de la Implicancia: (p ⇒ q) ⇔ -p ∨ q.
12. Caracterización de la Equivalencia: (p ⇔ q) ⇔ [(p ⇒ q) ∧ (q ⇒ p)].
13. Contrarrecíproco: (p ⇒ q) ⇔ (-q ⇒ -p).
14. Transitividad: [(p ⇒ q) ∧(q ⇒ r)]⇒(p ⇒ r) y [(p ⇔ q)∧(q ⇔ r)]⇒(p ⇔ r).

Ejemplo.-

(p ⇔ q) V (p V q) Bicondicional
= [(p ⇒ q) ∧ (q ⇒ p)] V (p V q) Implicación
= [(-p V q) ∧ (-q V p)] V (p V q) Distributiva
= [(-p V q) V (p V q)] ∧ [(-q V p) V (p V q)] Asociativa
= [q V (-p V p)] ∧ [p V (-q V q)] Negación
= (q v V) ∧ (p v V) Tautología
=V