Formule tautologice, inconsistente si contingente

Formule tautologice, inconsistente si contingente

Fie formulele: ~p ~q; (~p ~q) p; q p; p (q p); ~[p (q p)]. Calculand functiile de adevar pe care le exprima aceste formule obtinem:

Formula (~p ~q) p este un exemplu de formula propozitionala contingenta sau realizabila. In general, se numesc contingente formulele care pentru cel putin un sistem de valori ale variabilelor ce le compun au valoarea 1 si pentru cel putin pentru unul au valoarea 0.

Formula p (q p) este un exemplu de formula tautologica sau, pe scurt, de tautologie. O tautologie este adevarata indiferent care ar fi valorile de adevar ale variabilelor ce o compun.

Formula ~[p (q p)] este un exemplu de inconsistenta logica. O formula inconsistenta este falsa indiferent care ar fi valorile de adevar ale variabilelor ce o compun.