1.

Preposiciones

Una proposición es una oración declarativa de la cual podemos asegurar que es verdadera
(1) o que es falsa(0), pero no ambas situaciones a la vez.

2. Conectivos Lógicos

Son aquellos que sirven para formar proposiciones. Simbólicamente los conectivos se
representan del modo siguiente:

Conectivo Nombre Lógico Símbolo

No Negación ~

Y Conjunción ^

O Disyunción Inclusiva V

O…O Disyunción Exclusiva V

Si Entonces Condicional →

Si Solo Si Bicondicional ↔

3. Formas Proposicionales

Tautologicas

Es aquella forma proposicional que siempre da como resultado verdadero (1)

Contradicciones

Es aquella forma proposicional que siempre da como resultado falso (0)

Contingencia

Es aquella forma proposicional que siempre es verdadera y falsa a la vez (0 1)

4. Algebra Proposicional

Leyes del Algebra de Proposiciones

a. Leyes Idempotentes

pVp≡p

p^p≡p

b. Leyes Asociativas

(P V q) V r ≡ p V (q V r)

(P ^ q) ^ r ≡ p ^ (q ^ r)

c. Leyes Conmutativas

PVq≡qVp

P^q≡q^p
d. Leyes Distributivas

P V ( q ^ r ) ≡ ( p V q ) ^ (p V r)

P ^ ( q V r ) ≡ ( p ^ q ) V (p ^ r)

e. Leyes de Identidad

PVF≡P

P^F≡F

PVV≡V

P^V≡P

f. Leyes de Complementación

P V ~ P ≡ V (tercio excluido)

P Ù ~ P ≡ F (contradicción)

~ ~ P ≡ P (doble negación)

~ V ≡ F, ~ F ≡ V

g. Leyes De Morgan

~(PVq)≡~P^~q

~(P^q)≡~PV~q
Otras Equivalencias Notables

a. p → q ≡ ~ p V q (Ley del condicional)

b. p ↔ q ≡ (p → q) Ù (q → p) (Ley del bicondicional)

c. p V q ≡ ( p ^ ~ q ) V ( q ^ ~ p ) (Ley de disyunción exclusiva)

d. p → q ≡ ~ q → ~ p (Ley del contrarrecíproco)

e. p ^ q ≡ ~ ( ~ p V ~ q )

f. ( (p V q ) → r ) ≡ ( p → r ) ^ (q → r ) (Ley de demostración por casos)

g. (p → q) ≡ (p ^ ~ q → F) (Ley de reducción al absurdo)

5. Métodos de Demostración

Si vamos a la universidad, entonces aprenderemos mucho, si vamos a buscar trabajo,

sufriremos por la inexperiencia, pero vamos a la universidad o vamos a buscar trabajo, por
consiguiente, aprenderemos mucho o sufriremos por la inexperiencia.

m: vamos a la universidad

g: aprenderemos mucho

p: vamos a buscar trabajo

f: sufriremos por la inexperiencia

1. m → g

2. p → f

3. m V p

gVf

4. m Caso 1 en 3

5. g De 1 y 4 por Modus Ponendo Ponens(MPP)

6. g V f De 5 por Ley de la Adición.

6. Construir una red de circuitos lógicos de una forma proposicional

[r ^ (p V q)] V [(p v q) ^ (q ^ r)] ^ [p ^ (q V r)]