مبدأ الثالث المرفوع (Principle of the excluded middle)

مبدأ الثالث المرفوع مبدأ الثالث المرفوع هو المبدأ القائل بأن صدق إحدى القضيتين المتناقضتين يستلزم كذب الأُخرى، لا حالةَ رابعة ولا عكس. (انظر: وسط).