Proposición compuesta que es necesariamente verdadera en todas sus instancias (de valores de verdad de sus componentes). Ejemplos: pV~p (principio del tercero excluido), ~(~p&p) (principio de no contradicción).
Proposición compuesta que es necesariamente verdadera en todas sus instancias (de valores de verdad de sus componentes). Ejemplos: pV~p (principio del tercero excluido), ~(~p&p) (principio de no contradicción).