Mantık
Önermeler ve Bileşik Önermeler
′ SembolveGösterimler: , ( ~ ),≡,∀,∃, ∧, ∨, ∨,⇒,⇔
SAYILAR VE CEBİR
Terimler ve Kavramlar: önerme, bileşik önerme, önermenin değili, ve, veya, ya da bağlaçları, De Morgan kuralları, koşullu önerme, koşullu önermenin karşıtı, koşullu önermenin tersi, koşullu önermenin karşıt tersi, iki yönlü koşullu önerme (gerek ve yeter şart), açık önerme, her, bazı, tanım, aksiyom, teorem, ispat, hipotez, hüküm
9.1.1.1. Önermeyi, önermenin doğruluk değerini, iki önermenin denkliğini ve önermenin değilini açıklar.
Boole ve Leibniz’in çalışmalarına yer verilir.
9.1.1.2. Bileşik önermeyi örneklerle açıklar, ‘‘ve, veya, ya da’’ bağlaçları ile kurulan bileşik önermelerin özelliklerini ve De Morgan kurallarını doğruluk tablosu kullanarak gösterir.
9.1.1.3. Koşullu önermeyi ve iki yönlü koşullu önermeyi açıklar.
a) Koşullu önermenin karşıtı, tersi, karşıt tersi verilir.
b) ⇒ ≡ ∨ olduğu doğruluk tablosu yardımıyla gösterilir.
c) ‘‘ ve, veya, ya da, ise’’ bağlaçları kullanılarak verilen, en fazla üç önerme içeren ve en fazla dört bileşenli bileşik önermelere denk basit önermeler buldurulur.
ç) ⇔ ≡ ( ⇒ ) ∧ ( ⇒ ) olduğu doğruluk tablosu ile gösterilir.
9.1.1.4. Her (∀) ve bazı (∃) niceleyicilerini örneklerle açıklar.
Sözel olarak verilen ve niceleyici içeren açık önermeler, sembolik mantık diliyle; sembolik mantık diliyle verilen ve niceleyici içeren açık önermeler de sözel olarak ifade edilir.
9.1.1.5. Tanım, aksiyom, teorem ve ispat kavramlarını açıklar.
Bir teoremin hipotezi ve hükmü belirtilir.
