Klasik mantıkta bir kıyasın geçerli olabilmesi için aşağıdaki kurallardan hangisine uyulması zorunludur?
A) Orta terim sonuçta yer almalıdır
B) İki tikel öncülden sonuç çıkarılabilir
C) İki olumsuz öncülden sonuç çıkarılabilir
D) Orta terim en az bir kez dağıtılmış olmalıdır