Tautologi, Kontradiksi dan Contingent

Tautology adalah suatu bentuk kalimat yang selalu bernilai benar, tidak peduli dengan kalimat-kalimat penyusunnya/premis.