bir yargı bildiren, doğru ya da yanlış değerler alabilen ifadeler mantık dilinde önermedir.
-önerme iki veya daha fazla terimden oluşur.
-bir önermede üç unsur bulunur. yüklenen, yüklenilen ve bağ
"kitap yararlıdır" cümlesinde
kitap------ yüklenilen
yararlı---- yüklenen
-dır eki--- bağ dır.
