Bilişim ve Matematik/Önermeler ve Mantık

Herhangi bir söylemin doğruluğunun ispatına ōnerme denir. Doğru önerme veya yanlış önerme olarak ikiye ayrılır.

Örnek: $\sqrt{25}=5$ önermesi doğru önermedir.