1) Ley de Condicional.

Cuando: p → q

Como: p → q = ∼ p v q

P → (q → r) = ∼ p v (∼q v r)

2) Leyes de Morgan. - la disyunción cambiara a la conjunción, así, por ejemplo

Cuando: ∼ (); ∼[]; ∼{}

Como: ∼ (p v q) = ∼ p ∧ ∼q

∼ (p ∧ q) = ∼ p v ∼q

∼ (p → q) = NO SE PUEDE

∼ (p ↔ q) = NO SE PUEDE

3) Ley de doble negación. –

Cuando: ~~𝐩 = 𝐩

Como: ~~(𝐩 𝐯 𝐪) = (𝐩 𝐯 𝐪)

~~𝐩 = 𝐩

4) Ley Distributiva. -

Cuando: (p v q) ∧ (p v r)

(p ∧ q) v (p ∧ r)

Como: [p v (q ∧ r)] ∧ (p v q) = p v [(q ∧ r) ∧ q]

(p v q) ∧ (p v r) = p v (q ∧ r)

5) Ley de Absorción. -

Cuando: p v (p ∧ q)

p ∧ (p v q)

Como: p v (p ∧ q) = p

p ∧ (r v p) = p

p v [p ∧ (q v r)] = p

6) Ley de Poretsky. -

Cuando: P v (~p ∧ q)

~P ∧ (p v r)
Como: P v (~p ∧ q) = p v q
 ~P ∧ (p v r) = ~P ∧ r

7) Ley asociativa. –

Cuando: p v (p v r)

∼p ∧ (p ∧ r)

Como: p v (p v r) = (p v p) v r

q ∧ (~q ∧ r) = (q ∧ ~q ) ∧ r

8) Leyes de condición de negación. -

Cuando: p v ~ p

p∧~p

Como: p v ~ p = V

p∧~p=F

(p v q) v ∼ (p v q) = V

9) Ley de Idempotencia. -

Cuando: P v P

Q∧Q

Como: p v p = p

r∧r=r

∼P V ∼P = ∼P

10) Leyes de elemento neutro. –

Cuando: p v F

q∧V

Como: p v F = p

q∧V=q

11) Ley de condición de tautología. –

Cuando: p v V

Como: p v V = V

qvV=V
12) Ley de condición de anti tautología. –

Cuando: p ∧ F

Como: p ∧ F = F

q∧F=F

13) Ley de Bicondicional. -

Cuando: p ↔ q

Como: p ↔ q = (p → q) ∧ (q → p)

1.- MODUS PONENDO PONNES (MPP)

P→Q
P
Q

2.- MODUS TOLLENDO TOLENS (MTT)

P→Q P→~Q ~P→Q
~Q Q ~Q
~P ~P P

3.- MODUS TOLLENDO PONNES (MTP)

PVQ PVQ ~PVQ PV~Q
~P ~Q P Q
Q P Q P

4.- CONJUNCION (C)

P
Q
P^Q

5.- SIMPLIFICACION (S)

P^Q P^Q
P Q

6.- ADICION (A)

P
PvQ
7.- SILOGISMO HIPOTETICO (SH)
P→Q
Q→R
P→R

8.- DILEMA CONSTRUCTIVO (DC)

P→Q
R→S
PVR
QVS

9.- DILEMA DESTRUCTIVO (DD)

P→Q
R→S
~QV~S
~PV~R

TABLAS DE VERDAD
V∧V=V
F∨F=F
V→F=F
V↔V=V
F↔F=V