MANTIK
SÖZEL MANTIK
SAYISAL MANTIK
Aristo
Gelişmesine katkı sağlayan bilim insanları
Gottfried Wilhelm Leibniz
George Boole
Bertrand Russel
Ve
Veya
İse
Ancak ve ancak
Ya da
0’ ın bulunduğu tüm durumlar 0’ a denktir. Örnek: 1Λ0≡0, 1Λ1≡1
1’in bulunduğu tüm durumlar 1’ e denktir. Örnek: 1v0≡1, 1v1≡1, 0v0≡0
1 ise 0 durumu dışında tüm durumlar 1’ e denktir. Örnek: 1⇒0≡0, 0 ⇒0≡1, 0⇒1≡1
İki taraf da aynı olursa bu önerme doğru yani 1 olur. Örnek: 1⇔1≡1, 1⇔0≡0
İki tarafın da değerlerinin farklı olması koşuluyla önerme doğru yani 1 olur. Örnek: 1⊻0≡1, 1⊻1≡0
De Morgan kuralı: (p ∨ q)' ≡ p' ∧ q',
(p ∧ q)' ≡ p' ∨ q'
AZRA AR 9FA 132
Niceleme mantığı
∀ → Her, ∃ → Bazı
Her x sayısı rasyoneldir.
∀x∈Q
Bazı x doğal sayıları 5’ ten büyüktür.
∃x∈N, x>5
Tersini alma = değilini alma
Karşıtını alma = verilerin yerini değiştirme (Birbiriyle)
Karşıt tersini alma: önermenin hem karşıtını hem tersini alma
Elektrik devreleri önermelerle de yazılabilir:
