Uitgesloten derde
A is B of A is niet B, of in de propositiecalculus: p of niet- p. Iedere zaak heeft of ontbeert een gegeven eigenschap. Er bestaan verscheidene andere formuleringen. In het bijzonder is er een sterke formulering, ‘iedere propositie is waar of onwaar’, en een zwakkere formulering, ‘iedere propositie is waar of niet waar’. In de standaardlogica volgt...