mate

Tautología. Una tautología es una proposición compuesta siempre verdadera.
Ejemplos:
P (p) ≡pv~p
p
~p
pv~p
V
F
V
F
V
F

P (p, q, r)≡ [~ (p^q)v~r] ↔~ (p^q^r)
p
q
r
[~
(p^q)
v
~r]
↔
~
(p^q
^r)
V
V
V
F
V
F
F
V
F
V
V
V
V
F
F
V
V
V
V
V
V
F
V
F
V
V
F
V
F
V
V
F
FV
F
F
V
F
V
V
V
V
F
F
F
V
V
V
F
V
F
V
V
F
F
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
F
V
F
V
V
F
F
F
F
F
V
F
V
V
V
V
FF

Contradicción. Una contradicción es una proposición compuesta que siempre es falsa.
Ejemplos:
P^~p
p
~p
P~^p
V
F
F
F
V
F

Contingencia. Esuna proposición compuesta que no es tautología, ni contradicción; esto es, que en su resultado aparece por lo menos una verdad y una falsedad.
PRINCIPALESLEYES LÓGICAS O PRINCIPIOS LÓGICOS
Son las proposiciones siempre verdaderas sea cual fuere la condición de sus componentes:
1. Leyes de idempotencia.
1.1 pvp≡p
1.2 p^p≡p
2. Leyes asociativas
2.1 pv(qvr)≡(pvq)vr
2.2 p^(q^r)≡(p^q)^r
3. Leyes conmutativas.
3.1 pvq≡qvp
3.2 p^q≡q^p
4. Leyes distributivas
4.1pv(q^r)≡(pvq)^(pvq)
4.2 pv(qvr)≡(p^q)v(p^r)
4.3 p(q^r)≡(pq)^(pr)
5. Leyes de complementos.
5.1 pv~p≡verdadero
5.2 ~(~p)≡p
5.3 p^~p≡falso
5.4 ~v≡f
5.5~f≡v
6. Identidad
6.1 pvF≡p
6.2 pvV≡V
6.3 p^V≡P
6.4 p^F≡F
7. Ley de DeMorgan
7.1 ~ (pvq)≡~p^~q
7.2 ~(p^q)≡~pv~q
8. Principio de identidad. Todaproposición verdadera es verdadera pp≡verdadero
9. Principio de contradicción. Dos proposiciones contradictorias no pueden ser ambas verdaderas ~(p^~q)≡verdadero