TAUTOLOGIA

Es una proposición compuesta que es verdadera en todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples.

P    Q    -P        -PvP

V    V    F            V

V    F    F             V

F    V    V             V

F    F    V              V