Page 16 - Mantık | 4.Ünite

Koşul Eklemi “⇒ ” (ise)
Koşul eklemi günlük dilde "ise" sözcüğü yanında "yeter ki", "için...gereklidir", "koşuldur" gibi
sözcüklerle de ifade edilir. Koşul eklemiyle yapılmış önermelerde; alttaki doğruluk tablosunda
görüldüğü gibi önermenin ön bileşeninin doğru art bileşeninin yanlış olduğu yorumda yanlış, diğer
bütün yorumlarda doğrudur.

Önerme Doğruluk
Önerme Önerme
eklemi değeri

Yağmur yağar. ise Yerler ıslanır.

D D D
Yağmur yağar. ise Yerler ıslanmaz.

D Y Y

Yağmur yağmaz. ise Yerler ıslanır. p q p q⇒
D
Y D D
D Y
Yağmur yağmaz. ise Yerler ıslanmaz. D

Y Y D Y D

Karşılıklı Koşul Eklemi “ Û " (ancak ve ancak)
Karşılıklı koşul eklemi günlük dilde "ancak ve ancak" sözcüğü yanında "gerekli ve yeterli koşul",
"tek koşullu", "birbirini gerektiren" gibi sözcüklerle de ifade edilir. Karşılıklı koşul eklemiyle yapılmış
önermelerde; önerme her iki bileşeninin aynı doğruluk değerini aldığı durumlarda doğru, diğer
durumlarda yanlıştır.

Önerme Doğruluk
Önerme Önerme
eklemi değeri
Kar yağmıştır. ancak ve ancak Hava soğumuştur.

D Û D D

Kar yağmıştır. ancak ve ancak Hava soğumamıştır.

D Û Y Y

Kar yağmamıştır. ancak ve ancak Hava soğumuştur. p q pÛq

Y Û D Y D
Y
Kar yağmamıştır. ancak ve ancak Hava soğumamıştır.
Y Y
Y Û Y D Y D

122