Bir çıkarımın denetlenmesi ise, çıkarımın
geçerli mi geçersiz mi olduğunun ortaya konması demektir. 

Gündelik dilin hem terim sayısı hem de tümce yapıları bakımından zenginliği
dolayısıyla, ne sembolleştirme ne de gündelik dile çeviri işlemleri kesin kurallarla ortaya konamaz.

Sembolleştirme sonucunda
hangi sembolik önermenin elde edileceği, sembolleştirme anahtarına bağlı olarak
değişir.

Doğru cevap D seçeneğidir.