MANTIK
BİR ÖNERMENİN DOĞRULUK DEĞERİ
doğru veya 1
yanlış veya 0
BİR ÖNERMEDE KAÇ DURUM OLDUĞU NASIL HESAPLANIR?
n = önerme sayısı
2 üzeri n
= önermedeki durum sayısı
Doğruluk değerleri aynı olan önermelere denk önermeler denir.
p≡q: p denktir q
ÖNERMENİN DEĞİLİ
p ≡ 1
p' ≡ 0
BAĞLAÇLAR
ve ( /\ )
1 /\ 1 ≡ 1
0 /\ 1 ≡ 0
0 /\ 0 ≡ 0
veya (v)
1 v 1 ≡ 1
0 v 0 ≡ 0
1 v 0 ≡ 1
ya da (⊻)
1 ⊻ 1 ≡ 0
1 ⊻ 0 ≡ 1
0 ⊻ 0 ≡ 0
ise ( =>)
0 => 1 ≡ 1
1 => 0 ≡ 0
1 => 1 ≡ 1
0 => 0 ≡ 1
ancak ve ancak ( <=> )
1 <=> 1 ≡ 1
0 <=> 0 ≡ 1
1 <=> 0 ≡ 0
HER VE BAZI
Her (∀)
Bazı (∃)
totoloji
çelişki