三段論法と暗黙の前提

論理的に妥当な推論とは、前提が全て真であるときに結論も必ず真となる推論であり、前提を全て明示した推論に暗黙の前提が必ず必要となるわけではない。

明示された前提だけでは結論を導けない省略的な推論では、補うべき暗黙の前提を検討する。一方、例えば「PならQ」「P」から「Q」を導く推論は、必要な前提を明示しており、追加の暗黙前提を要しない。