I. MANTIK ve KANIT
I.1 Önermeler
Doğru ya da yanlış bir hüküm bildiren bir ifadeye bir önerme (proposition) denir. Önermeler genellikle p, q gibi küçük harflerle gösterilirler. Örneğin
p: 1+1=3
gibi.
Tanım I.1.1 p ve q birer önerme olsunlar. p ve q önermelerinin pÙq ile gösterilen birleşmesi (conjuction)
"p ve q"
ile verilen önermedir.
p ve q önermelerinin pÚq ile verilen ayırtlamı (disjunction)
"p ya da q"
ile verilen önermedir.
Örnek I.1.2 p: 1+1=3,
q: Türkiye'nin başkenti Ankara'dır
önermeleri veriyor. Bu durumda
p^q: 1+1=3 ve Türkiye'nin başkenti Ankara'dır,
p q: 1+1=3 ya da Türkiye'nin başkenti Ankara'dır
olmaktadır.
İki önermenin birleşmesinin ve ayırtlamının doğruluk değerleri bir doğruluk tablosu ile gösterilebilir.
Tanım I.1.3 p^q önermesinin doğruluk değerleri
Devamı ekte bulunan dosyadadır.