Doğru ya da yanlış olabilen her yargıyı anlatan söz. Birmantık önermesi ya doğrudur ya da yanlıştır. Bir tanımda yargının doğru olabilmesi için büyük ve küçük önermelerin mantık kurallarına göre doğru olması gerekir
iki türlüdür. Olumlu önerme ve olumsuz önerme... farz-ı muhal:
tayyip salaktır.(olumlu)
tayyip salak değildir.(olumsuz)
Not: içeriğindeki olumsuzluk anlamı önemli değildir, şekil olarak olumsuz olması gerekir.
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.
sözlükte afili bir cümleye başladığını düşünen yazarın kullandığı kelime.
ek: kimi gerçekten afili bir cümleye başlar bu kelimenin ardından ama çoğu ise öyle yaptığını düşünür sadece.