Sebuah pernyataan adalah kalimat deklaratif yang bernilai benar atau salah. Suatu pernyataan disebut atomik jika tidak dapat diuraikan menjadi pernyataan-pernyataan yang lebih kecil; jika dapat, pernyataan tersebut disebut molekuler.