Mantık
Mantık ünitesi, önermelerin temelinden başlayıp bileşik ve koşullu önermelerin yapısını inceler; yazılı ve sembolik ifadeler arasındaki dönüşüm kurallarını açıklar. Ayrıca açık önermeler, nicelikler—her ve bazı—ve ispat kavramlarına giriş sağlar; öğrencilerin kavramları pekiştirmesine yardımcı olur.
Konular
Mantığa Giriş: Önerme
Mantık, doğru düşünce için nasıl düşünülmesi gerektiğine dair ilke ve kuralları kapsayan bir disiplindir. Önermeler mantığın temelini oluşturan yapı taşlarıdır ve önermelerin doğruluk değerlerine göre önermeler mantıksal işlemlere sokulabilir.
Detaylı Çalış
Bileşik Önerme
İki veya daha fazla önermeyi birleştirmek için "ve", "veya", "ya da" bağlaçları kullanılır. Bu bağlaçlarla oluşturulan önermelere bileşik önerme denir. Her bileşik önermenin temelde farklı özellikleri olmasına rağmen (değişme, birleşme gibi) matematiksel özellikleri benzerlik gösterir.
Detaylı Çalış
Koşullu Önerme
"İse" ve "Ancak ve Ancak" bağlaçlarıyla yapılan bileşik önermelere koşullu önermeler denir. Koşullu önermeler tek yönde koşullu olabilecekleri gibi iki yönlü koşullu önermeler de içerebilir.
Detaylı Çalış
Önermelerin Birbirine Dönüştürülmesi
Bileşik önermeleri oluşturan ifadeler hem matematiksel sembollerle hem de yazı diliyle yazılabilir. Bileşik önermelerde dikkat edilmesi gereken nokta koşul ifadelerinin yazı dilindeki karşılıklarını bilmektir.
Detaylı Çalış
Açık Önermeler ve İspat Kavramı
Önermeler sabit ifadelerden oluşabileceği gibi herhangi bir değişkene bağlı olarak da oluşturulabilir. Değişkenler kullanılarak oluşturulan önermelerde "her" ve "bazı" gibi niceleyiciler kullanılır.
Detaylı Çalış