Please enable JavaScript.
Coggle requires JavaScript to display documents.
Mantık - Coggle Diagram
Mantık
Bileşik Önermeler
ve
∧
1∧1 ≡ 1
1∧0 ≡ 0
0∧0 ≡ 0
0∧1 ≡ 0
veya
∨
1∨1 ≡ 1
1∨0 ≡ 1
0∨0 ≡ 0
0∨1 ≡ 1
ise
→
1→1 ≡ 1
1→0 ≡ 0
0→0 ≡ 1
0→1 ≡ 1
ya da
⊻
1⊻1 ≡ 0
1⊻0 ≡ 1
0⊻0 ≡ 0
0⊻1 ≡ 1
ancak ve ancak
⇔
1⇔1 ≡ 1
1⇔0 ≡ 0
0⇔0 ≡ 1
0⇔1≡ 0
"ve" ve "veya" Bileşik Önermelerinin Özellikleri
Tek kuvvet özelliği
p ∧ p ≡ p
p ∨ p ≡ p
Değişme özelliği
p ∧ q ≡ q ∧ p
p ∨ q ≡ q ∨ p
Birleşme özelliği
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Dağılma özelliği
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Önermenin Değili/Olumsuzu
p ≡ 1, p' ≡ 0
p ≡ 0, p' ≡1
De Morgan
(p ∨ q)' ≡ p' ∧ q'
(p ∧ q)' ≡ p' ∨ q'
Totoloji ve Çelişki
Totoloji
Bileşik önerme bileşenlerinin bütün doğruluk değeri için doğru (1) oluyorsa totolojidir.
Çelişki
Bileşik önerme bileşenlerinin bütün doğruluk değeri için yanlış (0) oluyorsa çelişkidir.
Her ve Bazı
Her (∀)
Bazı (∃)
Doğru veya yanlış kesin hüküm bildirirler.
Genellikle "p, q, r, s, t" gibi küçük harfle gösterilirler.
Önerme doğru ise 1, yanlış ise 0 ile gösterilir.