Tautologia este o propozitie compusa adevarata indiferent de valoarea de adevar a componentelor ei Ex:
-1 numar negativ sau -1 numar pozitiv
p1 -1 nr negativ e falsa , a 2-a -1 nr pozitiv e adevarata Dar Propozitia compusa p1 sau p2 e adevarata daca cel putin o propozitie e adevarata.
Tautologii se obtin din prop compuse P sau non P care e intotdeauna adevarata
