Yazeka
Arama sonuçlarına göre oluşturuldu
Bazı mantık bağlaçları:
- Ve bağlacı (∧, &, ∙) 23. İki önermenin de doğru olması durumunda sonuç doğrudur 24.
- Veya bağlacı (∨, ;) 23. Önermelerden birinin doğru olması durumu yeterlidir, yalnız ikisinin de yanlış olması durumunda sonuç yanlıştır 24.
- Ya da bağlacı (v) 2. Önermelerden yalnızca birinin doğru olması durumunda sonuç doğrudur 2.
- İse bağlacı (⇒) 23. İlk önerme doğru, ikinci önerme yanlış olduğunda sonuç yanlıştır 24.
- Ancak ve ancak bağlacı (⇔, ≡, =) 23. Önermelerin değerleri aynı olduğunda sonuç doğrudur 24.
Ayrıca, tümleme (değil) bağlacı (¬, ~, ') ve hep doğru (⊤, 1, T), hep yanlış (⊥, 0, F) sabitleri de bağlaç olarak sınıflandırılır 3.
5 kaynaktan alınan bilgiyle göre: