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.