اصل طرد شِق ثالث

principle of excluded third