Felsefe, Psikoloji, Sosyoloji, Mantık Terimi Olarak Özelleme
Bir açık önermede geçen x değişkeninin yerine belli bir ad ya da terim koymakla elde edilen önerme.
Felsefe, Psikoloji, Sosyoloji, Mantık Terimleri Sözlüğü (1071)
Bilgiyi Paylaşın:
Bir açık önermede geçen x değişkeninin yerine belli bir ad ya da terim koymakla elde edilen önerme.
Felsefe, Psikoloji, Sosyoloji, Mantık Terimleri Sözlüğü (1071)
Özelleme hakkında henüz yorum yazılmamış. Üstteki formu kullanarak ilk yorumu yazabilirsiniz.
Özdeşlik İlkesi: Bir şeyin kendi kendisiyle aynı olmasını ifade eden mantık ilkesi.
Önermeler Mantığı: Geçerliliği yalnız önerme eklemlerine dayanan çıkarımları konu edinen mantık sistemi.
Önerme Eklemi: "ve", "veya", "ise", "ancak ve ancak", "değil" gibi, bir ya da daha çok sayıda önermeden yeni bir önerme kurmaya yarayan bağ.
Öncül: Çıkarımda sonucun doğruluğunu ispatlamada kanıt işlevi gören önerme.