- Katılım
- 2 Mar 2015
- Konular
- 59,189
- Mesajlar
- 88,451
- Çözüm
- 109
- Online süresi
- 4mo 16d
- Reaksiyon Skoru
- 14,297
- Altın Konu
- 2,398
- TM Yaşı
- 11 Yıl 3 Ay 14 Gün
- Başarım Puanı
- 1,051
- MmoLira
- 695,310
- DevLira
- 234
ROHAN2 WORLD 1-120 TR TİPİ OFFICIAL YOHARA, BALATHOR VE AMON! 80. GÜNÜNDE! +10.000 ONLİNE! HİLE VE BOT %100 ENGELLİ HEMEN TIKLA!
İse Bağlacı
p ve q önermelerinin “ise” bağlacı ⟹ ⟹ ile bağlanmasıyla oluşturulan bileşik önermeye koşullu önerme denir. İse bağlacı ile kurulan koşullu önermeler p ise q diye okunur ve � ⟹ �p⟹q şeklinde gösterilir.� ⟹ �p⟹q önermesinde;
- p: hipotez
- q: hüküm
İse Bağlacının Doğruluk Tablosu
| p | q | � ⟹ �p⟹q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
� ⟹ �p⟹q önermesinin doğruluk tablosuyla �′∨�p′∨q doğruluk tablosu aynıdır. Bu durumda
� ⟹ �≡�′∨�p⟹q≡p′∨q
denkliği sağlanır ve bu iki ifade birbiri yerine kullanılabilir.
| p | q | � ⟹ �p⟹q | �′∨�p′∨q |
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 |
İse Bağlacının Özellikleri
- � ⟹ �≡1p⟹p≡1
- � ⟹ �≡�′∨�p⟹q≡p′∨q
- � ⟹ �≡�′ ⟹ �′p⟹q≡q′⟹p′
- � ⟹ 1≡1p⟹1≡1
- � ⟹ 0≡�′p⟹0≡p′
- 1 ⟹ �≡�1⟹p≡p
- 0 ⟹ �≡10⟹p≡1
- � ⟹ �′≡�′p⟹p′≡p′
- �′ ⟹ �≡�p′⟹p≡p
İse İle Oluşturulan Koşullu Önermenin Tersi, Karşıtı ve Karşıt Tersi
p ise q önermesinin (� ⟹ �p⟹q)- Karşıtı:� ⟹ �q⟹p
- Tersi:�′ ⟹ �′p′⟹q′
- Karşıt Tersi:�′ ⟹ �′q′⟹p′
Ancak ve Ancak Bağlacı
p ve q iki önerme olmak üzere � ⟹ �p⟹q ile � ⟹ �q⟹p önermelerinin ∧∧ (ve) bağlacıyla bağlanmasıyla oluşturulan(� ⟹ �)∧(� ⟹ �)(p⟹q)∧(q⟹p)
bileşik önermesine iki yönlü koşullu önerme denir. İki yönlü koşullu önerme � ⟺ �p⟺q şeklinde yazılır ve “p ancak ve ancak q” olarak okunur.
Ancak ve Ancak Bağlacının Doğruluk Tablosu
| p | q | � ⟺ �p⟺q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
� ⟺ �p⟺q iki yönlü koşullu önermesi, p ile q önermelerinin değerleri aynı iken doğru, farklıyken ise yanlış değerdedir.
Ancak ve Ancak Bağlacının Özellikleri
- � ⟺ �≡� ⟺ �p⟺q≡q⟺p
- � ⟺ �≡1p⟺p≡1
- � ⟺ �′≡0p⟺p′≡0
- � ⟺ �≡�′ ⟺ �′p⟺q≡p′⟺q′
- (� ⟺ �)′≡�′ ⟺ �≡� ⟺ �′(p⟺q)′≡p′⟺q≡p⟺q′
- (� ⟺ �)′≡�∨‾�(p⟺q)′≡p∨q