Geçerli bir çıkarımda tüm öncüllerin doğru olduğu varsayıldığında, sonuç önermesi nasıl olur?
Doğru olur.
