Önerme=Doğru yada yanlış ,kesin hüküm bildiren ifadelerdir.
p,q,r gibi sayılarla gösterilir
p
1 Doğru
0 Yanlış anlamına gelir
değil= bir önermede belirtilen olayın tersidir
örneğin 2+5=7 - p önermesi olursa
p değil(p' ile gösterilir) 2+5#7 dir.
\/ = veya
/\=ve
=> İse
<=> ancak ve ancak anlamına gelir.
Veya İşlemi
\/
Bileşenlerinden en az birisi doğru(1) iken doğru diğer durumlarda yanlış(0)dır.
