MANTIK II

İçerik

Haftalar	Konular
1. Haftalar	tanışma ile igili anket uygulaması, yöntem verilmesi, mantık konularının tanıtımı.
2. Haftalar	mantık tanımı, mantık biliminin özellikleri, mantığın ilişkili olduğu bilimler, mantığın tarihçesi.
3. Haftalar	sembolik mantık tanımı, denetleme, çıkarım, çıkarım çeşitleri.terim tanımı örnekleri, yüklem tanımı örnekleri, önerme tanımı örnekleri, önerme çeşitleri, önerme olmayan cümleler ve örnekleri, alıştırmalar.
4. Haftalar	Tatil
5. Haftalar	değilleme eklemi tanımı, doğruluk çizelgesi, değil ekleminin Türkçe deki karşılıkları, her karşılığa uygun düşen önermeler, örnekler alıştırmalar, tümel evetleme eklemi, tanımı, doğruluk çizelgesi, tümel evetleme eklemi ile aynı anlama gelen deyimler, bu deyimlerle yapılan önermeler, örnekler alıştırmalar, sembolleştirme.
6. Haftalar	tikel evetleme eklemi tanımı, doğruluk çizelgesi, tikel evetleme ekleminin Türkçe karşılıkları, bu karşılıklara uygun önermeler, örnekler ve alıştırmalar, koşul eklami, tanımı, doğruluk çizelgesi, koşul ekleminin Türkçe karşılıkları, bu karşılıklara uygun önermeler, örnekler ve alıştırmalar, karşılıklı koşul eklemi tanımı, doğruluk çizelgesi, karşılıklı koşul ekleminin Türkçe kaşılıkları, bu deyimlerle yapılan önermeler, örnekler ve alıştırmalar, doğruluk değeri hesaplamaları, ana eklem ve ana bileşenler, sembolleştirme.
7. Haftalar	tutarlılık tanımı, tutarlı ve tutarsız önerme örnekleri, doğruluk çizelgesi ile tutarlılık denetlemesi, geçerlilik tanımı, geçerli-geçersiz önerme örnekleri, doğruluk çizelgesi ile geçerlilik denetlemesi, çıkarım geçerliliği tanımı, geçerli-geçersiz çıkarım örnekleri, doğruluk çizelgesi ile çıkarım denetlemesi, eşdeğerlilik tanımı, eşdeğer ve eşdeğer olmayan önerme örnekleri, doğruluk çizelgesi ile eşdeğerlilik denetlemesi.
8. Haftalar	Ara Sınav
9. Haftalar	Tümel evetleme değilinin çözümleme kuralı, tümel evetlemenin çözümleme kuralı, tikel evetlemenin çözümleme kuralı, tikel evetleme değilinin çözümleme kuralı, koşul ve değilinin çözümleme kuralı, karşılıklı koşul ve değilinin çözümleme kuralı, çözümleyici çizelge ile tutarlılık denetlemesi.
10. Haftalar	Çözümleyici çizelge ile geçerlilik, çıkarım geçerliliği ve eşdeğerlik denetlemeleri yapmak, örnekler ve alıştırmalar.
11. Haftalar	.değişkenler, açık önermeler, tümel niceleyici, tikel niceleyici, tümel özelleme kuralı, tikel özelleme kuralı.
12. Haftalar	Yüklemler mantığında tutarlılık, geçerlilik, çıkarım geçerliliği, eşdeğerlilik denetlemeleri, örnekler alıştırmalar
13. Haftalar	seri bağlanmış devre, paralel bağlanmış devre, devrelerin çözümlenmesi.
14. Haftalar	Dönem Sonu Sınavı