19 166
![]() |
İ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.
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.
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 (6)

Katılıyor musun? 636
çok yetersiz
22.09.2019
1/10

Katılıyor musun? 577
çok az
26.09.2019

Haklisin bayagi bayagi az
05.10.2019

Katılıyor musun? 201
Bu ne ders mi anlatılıyor reklam mı anlayamadım
20.04.2021
..diğer yorumlar

Katılıyor musun? 54
ise baglacıyla dagılma nasıl olur
05.01.2021

Katılıyor musun? 00
Dogruluk degeri 1'e esit olan koşullu onermeye ne denir?
01.11.2022

Katılıyor musun? 00
p ⇒ (p ∧ q) ifadesinin en sade hali nedir?
10.10.2022