Önerme İLE Yüklem İLE Modal ile Mantık Türleri
Matematik
Normal
Özet
Farklı mantık sistemleri.
Ayrıntılı Açıklama
Mantık dalları:
- Önerme: Basit doğru/yanlış
- Yüklem: Niceleyicili (∀, ∃)
- Modal: Zorunlu/olası
Her sistem farklı ifade gücüne sahiptir.
- Önerme: Basit doğru/yanlış
- Yüklem: Niceleyicili (∀, ∃)
- Modal: Zorunlu/olası
Her sistem farklı ifade gücüne sahiptir.
Formül
p → q ≡ ¬p ∨ q