geçerli simgesel çıkarım

1. • matematik
   Hiç bir yorumu düpedüz geçersiz (yorumlanmış çıkarım) olmayan sembolik çıkarım; geçersiz kılıcı bir yorumlaması olmayan sembolik çıkarım.
   Eşanlam:  geçerli sembolik çıkarım
   İngilizce valid symbolic inference

   Fransızca inférence symbolique valide, f

   Almanca gültiger symbolischer Schluss, m
2. Yüklemler mantığında, geçersiz kılıcı bir yorumlaması olmayan sembolik çıkarım.