Mantık Değişmezleri, Tutarlılık, Geçerlilik, Denklik, Eş Değerlilik / Mantık / Felsefe.Gen.TR
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.
- 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