Mantýk KÖÞETAÞI
KAZANIMLAR
1.
Klasik mantýk ile sembolik mantýðýn arasýndaki farký kavrar.
2.
Terimi kavrar.
3.
Önermeyi tanýr.
4.
Ýki önermenin denkliðini kavrar.
5.
Doðruluk deðer tablosunu yapar.
6.
Bir önermenin deðilini bulur.
7.
Bileþik önermelerde “” ve “” baðlaçlarýný tanýr.
8.
“” veya “” baðlaçlarýný içeren önermenin doðruluk tablosunu yapar.
9.
“” ve “” baðlaçlarýnýn özelliklerini kavrar.
10. De Morgan kurallarýný kavrar. 11. Totoloji ve çeliþkiyi kavrar. 12. “” baðlacýný tanýr. 13. p q önermesinin karþýtýný, tersini ve karþýt tersini bulur. 14. p q önermesini indirger. 15. “” baðlacýný tanýr. 16. Önermeler cebiri ile etkin alýþtýrma yapar. 17. Bileþik bir önermenin deðilini alýr. 18. Önermeler cebirinde denklem çözer. 19. Açýk önermeyi tanýr. 20. Niceleyicileri tanýr. 21. Niceleyicilerle belirtilen önermelerin deðilini bulur.