IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası - Mantık Değişmezleri, Tutarlılık, Geçerlilik, Denklik, Eş Değerlilik

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.

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

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.

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)