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.

İlgili konular:

• 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)