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