Please enable JavaScript.
Coggle requires JavaScript to display documents.
Mantık - Coggle Diagram
Mantık
Önerme
Doğruluğu veya yanlışlığı kanıtlanabilen verilerdir.
Doğru önerme 1, yanlış önerme 0 ile gösterilir.
Önermelere isim verirken p, q, r...vb. gibi ifadeler kullanılır.
Doğruluk değeri eşit olan önermelere denk önerme denir.
Önermenin değili (') ile gösterilir.
Önermenin kaç tane doğruluk durumu olduğunu belirlemek için 2 üzeri n formülü kullanılır.
Özellikler
Tek Kuvvet Özelliği
Birleşme Özelliği
(p ⊻ q) ⊻ r ≡ p ⊻ (q ⊻ r)
Dağılma Özelliği
(p v 0) ∧ (p v q) ≡ p v (0 ∧ q)
Demorgan Kuralı
(p ∧ q)' ≡ p' vq'
Ve bağlacı (∧)
Ya da bağlacı (⊻)
Veya bağlacı (v)
İse bağlacı (⇒)
(p ⇒ q) ≡ (p' ∨ q)
Ancak ve Ancak bağlacı (⇔)
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
