önerme

doğru veya yanlıştan yalnız ve sadece bir tanesi ile nitelenebilen ifadelere denir. örneğin gözlüklü insanlar zekidirler cümlesi bir önermedir. çünkü doğru veya yanlış olarak adlandırılabilirler. ama hava kapalı mı cümlesi önerme değildir. önermeleri p,q,r gibi küçük harflerle gösteririz.

sembolik mantık
soyut matematik