İ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 şeklinde gösterilir.
önermesinde;
- p: hipotez
- q: hüküm
olarak adlandırılır.
İse Bağlacının Doğruluk Tablosu
| p | q | |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
p ise q önermesi; p doğru ve q yanlış iken yanlış, diğer durumlarda doğrudur.
önermesinin doğruluk tablosuyla doğruluk tablosu aynıdır. Bu durumda
denkliği sağlanır ve bu iki ifade birbiri yerine kullanılabilir.
| p | q | ||
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 |
İse Bağlacının Özellikleri
Uyarı: En önemli özellik 2. özelliktir.
İse İle Oluşturulan Koşullu Önermenin Tersi, Karşıtı ve Karşıt Tersi
p ise q önermesinin ()
- Karşıtı:
- Tersi:
- Karşıt Tersi:
şeklinde tanımlanır.
Ancak ve Ancak Bağlacı
p ve q iki önerme olmak üzere ile önermelerinin (ve) bağlacıyla bağlanmasıyla oluşturulan
bileşik önermesine iki yönlü koşullu önerme denir. İki yönlü koşullu önerme şeklinde yazılır ve “p ancak ve ancak q” olarak okunur.
Ancak ve Ancak Bağlacının Doğruluk Tablosu
| p | q | |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
iki yönlü koşullu önermesi, p ile q önermelerinin değerleri aynı iken doğru, farklıyken ise yanlış değerdedir.
