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.