Bentuk-bentuk pernyataan

      Bentuk-bentuk pernyataan dalam logika dibedakan dalam:

      1. Kontradiksi

      2. Tautologi

3.  Kontingensi

           Kontradiksi adalah suatu bentuk pernyataan yang hanya mempunyai contoh substitusi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponen-komponennya.

          Tautologi adalah sebuah pernyataan majemuk yang benar dalam segala hal, tanpa memandang nilai kebenaran dari komponen-komponennya.

          Kontingensi adalah sebuah pernyataan majemuk yang bukan suatu tautologi maupun kontradiksi.

Contoh:

Selidiki pernyataan di bawah ini apakah suatu tautologi, kontradiksi atau kontingensi!

( ~p ∧  q ) v ( q → p ) 

   p     q      ~ p    ~ p ∧ q      q → p   ( ~p ∧ q ) v ( q → p )

------------------------------------------------------------------

   B      B      S          S             B                      B

   B      S      S          S             B                      B

   S      B      B          B             S                      B

   S      S      B          S             B                      B  

Karena pada tabel kebenaran di atas benar semua, maka pernyataan di atas suatu tautologi.