12 65
İse bağlacı ile yapılan bileşik önerme (koşullu önerme) ne demektir?

İki önermenin koşul eklemi olan "ise ⇒" ile bağlanmasıyla oluşan bileşik önermeye "koşullu önerme" denir.

Tanım
p ve q önermelerinin "ise" önerme eklemi ile bağlanmasıyla oluşan bileşik önermeye "koşullu önerme" denir.

Başka bir deyişle, koşullu önermeler hükmün bir koşula bağlı olduğu önermelerdir. (p ⇒ q) önermesinde ön bileşen p, koşullu önermenin hipotezi; art bileşeni q ise hükmüdür.

Koşullu önerme bağlacı (koşul eklemi) günlük dilde "yeter ki, .. için .. gereklidir, ..-nın koşuludur" şeklinde ifade edilebilir. Böyle bir önermede ön bileşen doğru ise art bileşen yanlış olamaz.

Gösterim
Koşullu önerme bağlacının sembolü ⇒ simgesidir. p ile q önermeleri arasında "ise" bağlacı ile yapılan bileşik önerme p ⇒ q şeklinde gösterilir.

Örnek
Aşağıda verilen koşullu önerme örneklerini inceleyiniz. Koşul bağlacının doğruluk tablosu ve özellikleri için tıklayınız.
 
sembol ifade
p ⇒ q Ders çalışırsan sınavı geçersin.
p Ders çalıştın.
q O halde, sınavı geçersin.
 
sembol ifade
p ⇒ q Güneş doğarsa aydınlık olur.
q' Aydınlık olmamıştır.
p' O halde, güneş doğmamıştır.

Gerektirme
(p ⇒ q) koşullu önermesinin doğruluk değeri 1 ise buna gerektirme denir. p önermesi q için yeterli şart, q ise p için gerekli şarttır.
Bu alana not ekleyebilirsiniz.
Başka bir sorunuz mu var?
Yorumlar (2)
Katılıyor musun?
271

çok az


26.09.2019

Bu Yoruma Cevap Yaz


Haklisin bayagi bayagi az

05.10.2019

Katılıyor musun?
262

çok yetersiz


22.09.2019

1/10

Bu Yoruma Cevap Yaz

İlgili Konu
Modern Mantık
İlgili Kayıtlar
İlgili Sorular
Benzer Kayıtlar
İlginizi Çekebilir