Mantık #1 (Önerme)

Önerme:

Doğru yada yanlış kesin bir hüküm bildiren cümlelerdir. Genellikle p,q,r... gibi harflerle gösterilir. Doğru ifadeler 1 rakamı ile ifade edilirler. Yanlış ifadeler 0 rakamı ile ifade edilir.

NOT: Soru, Emir, Ünlem cümleleri bir önerme değildir.

Eşdeğer (Denk) Önerme:

Doğruluk değerleri eşit olan iki önermeye denk önerme denir. p≡q

Bir Önermenin Olumsuzu (değili):

Bir p önermesinin değili(olumsuzu) p' ile ifade edilir.