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.

[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]

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.

Alinti/ Hazırlayan: Sosyolog Ömer YILDIRIM