BERAT EFE AKPINAR

9/C

600

Preview audio:

storyj.mp/aci95n5mqybb

≤ MANTIK ≥

1.1 Önermeler ve birleştirme önerileri

- Bileşik önerme

- Veya ( v ) bağlacı

- Ve ( ^ ) bağlacı

- Ya da ( ∨ ) bağlacı

- İse ( → ) bağlacı

- Ancak ve ancak ( ↔ ) bağlacı

- Açık yönlendirme ve niceleyenler.

- Tanım , Aksiyom, Teorem ve İspat

≤ KONU KAVRAMA SORULARI≥

ÖNERME:

Mantıkta, doğrulanabilir ya da yanlış olabilir olması zorunlu olan ifadelere varsayım denir. Kesin olan cümleler yanlış veya doğru da olsa önermedir; Yani cümlenin yanlış veya doğru bilgi sahibi olması gerekmez, doğru olabilir bilgi sahibi olması yeterlidir.

ÖRNEK :

1- Ersan yurt dışına gidecekmi ?

2-2008≥2099

3- Ankara Türkiyenin başkentidir

VEYA ( v ) BAĞLACI:

# p ile q tavsiyesinin veya bağlacı ile sonucunda oluşan sonuçtan oluşan p veya q yönlendirmesi pvq etkisi gösteriliyor.

VE ( ∧ ) BAĞLACI:

#p ile q önermesinin “ve” bağlacı ile bağlanması ile oluşan “p ve q” bileşik önermesi “p ∧ q” biçiminde gösterilir.

YA DA ( ⊻ ) BAĞLACI:

Ya da" bağlacı ⊻ sembolü ile gösterilir. p ile q önermeleri arasında "veya" bağlacı ile yapılan bileşik önerme p ⊻ q şeklinde gösterilir. "Ya da" bağlacıyla bağlanmış önermelerin (bileşenlerin) yalnızca bir tanesi doğru olduğunda bileşik önermenin doğruluk değeri doğru, aksi halde yanlış olur.

İSE ( ⇒) BAĞLACI:

Mantıkta “ise” bağlacının bir diğer adı hükümlü önerme olarak geçmektedir . Tek taraflı olma özelliği barındıran hükümlü varsayımının gösterimi (⇒) şeklindedir. Mantıkta “ise” bağlacı günlük yaşamda kullanımı söz konusu olan “ise” bağlacına çok fazla yansıma gösterir.

ANCAK VE ANCAK ( ⇔ ) BAĞLACI:

Birbirine bağlı olan iki ifadenin bireyleri için ötekinin doğru olması gerekir, ya iki ifadenin doğru olması gerekir, ya da her ikisi de yanlıştır.