SORU: Bir çıkarımın önermeler mantığında sembolleştirilmesi nedir?
CEVAP: Bir çıkarımın önermeler mantığında sembolleştirilmesi ise, çıkarımı oluşturan önermelerin önermeler mantığında sembolleştirilmesinden ve öncüllerle sonuç önermesi arasına ? işaretinin konulmasından ibarettir.
