bir çıkarımın simgesel karşılığı
-
Bir yorumlanmış çıkarımda, geçen önermeleri p, q, … gibi sembollerle kısaltarak, daha doğrusu önermeler yerine semboller koyarak elde edilen sembolik önermelerden her biri.
Eşanlam: bir çıkarımın sembolik karşılığıİngilizce symbolic counterpart of a inference