Mantık Değişmezleri, Tutarlılık, Geçerlilik, Denklik, Eş Değerlilik

Sembolik mantık, günlük dilde kullandığımız önerme ve çıkarımları sembolik dile dönüştürür. Bunu yaparken de değişmez adını verdiğimiz yardımcılardan yararlanır. Kendi içinde anlamlı olan ve daha küçük anlamlı birimlere ayrılamayan deyimlere, değişmez denir.



Değişmezler, mantık değişmezi ve özel değişmezler olmak üzere ikiye ayrılır. Aşağıdaki tabloda, değişmezler hakkında daha net bir kategorileştirme yapılmıştır.



Mantıksal değişkenler: Bunlar, x, y, z gibi bilinmeyen ve değişik değerlere sahip olabilen sembollerdir. Değişmezler ve değişkenlerin birlikte oluşturduğu sözcük dizileri, deyim adını alır.

Konu Başlıkları:

- Sembolleştirme nedir, nasıl yapılır?
- Yorumlama nedir, nasıl yapılır?
- Önermenin tutarlılığının denetlenmesi
- Önermenin geçerliliğinin denetlenmesi
- Çıkarımın geçerliliğinin denetlenmesi
- Önermelerin denkliğinin denetlenmesi



Hazırlayan: Sosyolog Ömer YILDIRIM
Kaynak: Ömer YILDIRIM'ın Kişisel Ders Notları. Atatürk Üniversitesi Sosyoloji Bölümü 3. Sınıf "Klasik Mantık" ve "Modern Mantık" Dersleri Ders Notları (Ömer YILDIRIM)