Felsefe, Psikoloji, Sosyoloji, Mantık Terimi Olarak Sembolik Mantık
Çıkarımların sembolik dile çevrilerek kesin olarak denetlenmelerini sağlayan mantık.
Felsefe, Psikoloji, Sosyoloji, Mantık Terimleri Sözlüğü (1071)
Bilgiyi Paylaşın:
Çıkarımların sembolik dile çevrilerek kesin olarak denetlenmelerini sağlayan mantık.
Felsefe, Psikoloji, Sosyoloji, Mantık Terimleri Sözlüğü (1071)
Sembolik Mantık hakkında henüz yorum yazılmamış. Üstteki formu kullanarak ilk yorumu yazabilirsiniz.
Özelleme: Bir açık önermede geçen x değişkeninin yerine belli bir ad ya da terim koymakla elde edilen önerme.
Ö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ğ.