Ancak ve ancak bağlacının gösterimi “⇔” işareti ile olur.
Herhangi iki önerme yazalım ve bu önermeleri p ve q ile gösterelim.
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
Ancak ve ancak bağlacıyla yazılan bu önerme “Koşullu (İki yönlü)” önermedir.
- Önermenin doğru olması; p ve q aynı değerleri almalıdır.
- Önermenin yanlış olması; p ve q farklı değer almalıdır.
p ve q’nun alacağı değerlere göre önermelerin doğru ya da yanlış olmaları durumunu yazalım.
1 ⇔ 1 ≡ 1 → Önerme DOĞRU
1 ⇔ 0 ≡ 0 → Önerme YANLIŞ
0 ⇔ 1 ≡ 0 → Önerme YANLIŞ
0 ⇔ 0 ≡ 1 → Önerme DOĞRU
*** p ancak ve ancak q önermesinin açılımı nedir? Sorusunun cevabını incelemek için aşağıdaki bağlantıya tıklayabilirsiniz.
https://eodev.com/gorev/107293
