Please enable JavaScript.
Coggle requires JavaScript to display documents.
MANTIK - Coggle Diagram
MANTIK
Önermeler
Açık önermeler
Bir değişkene bağlı olarak doğruluk değeri değişen önermeler
Açık önerme niteliyicileri
Her (∀)
Bazı(Ǝ)
Örnek: p: ∀x∈Z , x<4
Bileşik önermeler
Önerme bağlaçları
ve(Λ)
veya(∨)
ise(⇒)
Bir koşullu önermenin tersi
Bir koşullu önermenin tersi, iki tarafın da değili alınarak yapılır
Bir koşullu önermenin karşıtı
Bir koşullu önermenin karşıtı, ifadelerin yer değiştirmesiyle yapılır
ancak ve ancak(⇔)
ya da(⊻)
En az iki önermenin bağlaçlarla birleştirilmesiyle elde edilir.
Kapalı önermeler
Doğruluğu bir değişkene bağlı olmayan önermeler
Örnek: Washington D.C. Amerika'nın başkentidir.
Önermeleri değillemek olumsuz önermeleri olumluya olumluları ise olumsuzlara çevirir.
Mantığa katkıda bulunan bilim insanları
George Boole
Boolean cebri
Bertrand Rusell
Bileşik önermeler, bağlaçlar
Gottfried Leibniz
Doğruluk değeri
Önermelerin doğru ya da yanlış olduğunu belirten 1 ve 0 rakamları
Bir önermenin alabileceği doğruluk değeri sayısı 2^n ile bulunur