この論証は妥当であり（前提から結論が導かれ、前提を真とすれば結論が真であるため）、前提が真なので、論証全体としては健全である。
所谓有效是指如果前提为真则结论必定为真，所谓健全是指除了有效以外，所有前提都是真的，健全的论证保证结论为真。