Bir düşünce kanıtlama konusu olabiliyorsa o düşünceye yargı deriz. Yargı bildiren cümle türüne ise önerme diyoruz. Önermeler doğru veya yanlış olabilirler ama klasik mantıkta aynı anda hem doğru hem de yanlış olmaları imkansız kabul edilir.