... استثنایی ، مقدم شرطی علت تالی باشد و در مستثنی، ذکر ... شده است. اگر نقیض تالی استثنا شود، برهان انی ... عکس، مقدم معلول و تالی علت باشد، با رفعتالی، برهان لمی ... لمی در انفصالی حقیقی با رفع مولفه مانند · یا در ... انی در انفصالی حقیقی با رفع مولفه مانند · یا در ...