شرایط معتبر بودن قیاس
در کتاب منطق دهم، شرایط معتبر بودن قیاس به این صورت بیان شده است:
- شرط اول: نتیجه باید ضرورتاً از مقدمات به دست آید.
- شرط دوم: مقدمات باید صادق باشند.
- شرط سوم: قواعد قیاس باید رعایت شده باشد.
این سه شرط اساسی برای معتبر بودن یک قیاس منطقی ضروری هستند.