اگر با استفاده از دو قضيۀ ............... يك قضيۀ منفصل بسازيم، قضيۀ منفصل، ............... خواهد بود.
دو قضيۀ متناقض امكان جمع و رفع هم زمان ندارند؛ پس اگر با آنها يك قضيۀ منفصل بسازيم، قضيه از نوع حقيقی خواهد بود. (رد گزينههای ۱ و ۴) دو قضيۀ متضاد، امكان صدق هم زمان ندارند؛ ولی ممكن است هر دو كاذب باشند، پس اگر با آنها يك قضيۀ منفصل بسازيم، از نوع مانعةالجمع خواهد بود. (رد گزينۀ ۲)