İse Bağlacı:İse bağlacının farklı bir yapısı var aldatılmaya gelemez yani önce heveslendirip(1) sonra tekmeyi basanlardan(0) hiç hoşseafoodplus.infoğer bütün durumların sonucu 1 seafoodplus.info yanlış olduğu durum yukarıda söylediğim gibi 1 ise 0 durumu.
p ==> q Sonuç
1 ==> 1 1
1 ==> 0 0
0 ==> 0 1
0 ==> 1 1
Görüldüğü gibi tek sıfır olan durum 1 ise 0 durumu. İse de ikinci önerme değer olarak birinciden büyük ise 0 gibi düşünebiliriz mastıksal olarak.
İse İşlemi(⇒):p ile q önermelerinin “ise”
sözcüğü ile bağlanmasından oluşan bileşik
önerme(p⇒q); p doğru q yanlış iken yanlış
diğer durumlarda doğrudur.
“ise” işlemi ile oluşturulan p ⇒ q
önermesine koşullu (şartlı) önerme denir.p
önermesi q için yeterli koşul, q da p için gerekli
koşuldur.p önermesine hipotez, q önermesine
de hüküm denir.
p ⇒ q ≡ p′Vq dur.
p ⇒ q Koşullu önermesinin karşıtı q ⇒ p
p ⇒ q Koşullu önermesinin tersi p′⇒ q′
p ⇒ q Koşullu önermesinin karşıt tersi
q′⇒ p′ dır ve p⇒q ≡ q′⇒p′ dir
İse İşlemi(⇒):p ile q önermelerinin “ise”sözcüğü ile bağlanmasından oluşan bileşikönerme(p⇒q); p doğru q yanlış iken yanlışdiğer durumlarda doğrudur.“ise” işlemi ile oluşturulan p ⇒ qönermesine koşullu (şartlı) önerme denir.pönermesi q için yeterli koşul, q da p için gereklikoşuldur.p önermesine hipotez, q önermesinede hüküm denir.p ⇒ q ≡ p′Vq dur.p ⇒ q Koşullu önermesinin karşıtı q ⇒ pp ⇒ q Koşullu önermesinin tersi p′⇒ q′p ⇒ q Koşullu önermesinin karşıt tersiq′⇒ p′ dır ve p⇒q ≡ q′⇒p′ dirÖrnek:
p : "İstanbul marmara denizi kıyısındadır."
q : "İstanbul Marmara bölgesindedir."
şeklinde verilen p ile q önermelerini "ise" bağlacını kullanarak yazıp doğruluk değerini bulalım:
Çözüm:
p ⇒ q : "İstanbul Marmara denizi kıyısında ise İstanbul marmara bölgesindedir." olarak yazılır.
p nin doğruluk değeri 1, q nun doğruluk değeri 1 dir. Dolayısıyla doğruluk değeri,
p ⇒ q denktir 1 ⇒ 1 denktir 1 olur.
p ile q önermesinden oluşan p ⇒ q önermesi; p doğru, q yanlış iken yanlış, diğer tüm durumlar için doğrudur.
Örnek: "1 = 2 ise bir gün 24 saattir." bileşik önermesinin doğruluk değerini bulalım:
Çözüm: p : "1 = 2" olduğuna göre, p denktir 0 dır.
q : "bir gün 24 saattir" olduğuna göre, q denktir 1 dir.
Buna göre,
p ⇒ q denktir 0 ise 1 denktir 1 olur.
Örnek: "Kar yağıyorsa hava soğuktur." koşullu önermesinin tersini, karşıtını ve karşıt tersini bulalım
Çözüm
p : "Kar yağıyor."
q : "Hava soğuktur.
Tersi (p' ⇒ q') : "Kar yağmıyorsa hava soğuk değildir."
Karşıtı (q ⇒ p) : "Hava soğuksa kar yağıyordur."
Karşıt tersi (q' ⇒ p') : "Hava soğuk değilse kar yağmıyordur."