گزارۀ مرکب

{compound proposition} [ریاضی] گزاره ای که از گزاره های ساده با به کار بردن رابط های منطقی ساخته می شود

💡 برهان خلف: گزارۀ مورد نظر را نادرست فرض می‌کنیم و سعی می‌کنیم نشان دهیم این فرض جدید، منجر به یک تناقض یا نتیجهٔ غیرممکن می‌شود.

💡 برهان‌های شرطی در ریاضیات اهمیت زیادی دارند. برهان‌های شرطی‌ای وجود دارند که چندین حدس اثبات نشده را به هم مرتبط می‌کنند، به‌طوری که اثبات یک حدس ممکن است فوراً به اعتبار چندین حدس دیگر دلالت کند. نشان دادن صدق یک گزاره از گزارۀ دیگر بسیار ساده‌تر از اثبات مستقل آن است.