Bivalentie, principe of wet der
Dit principe houdt in dat iedere proopositie waar of onwaar is, en geen propositie beide tegelijk of geen van beide. Vaak beschouwd als een van de vormen van de wet van het uitgesloten derde (hoewel J. Lukasiewicz en anderen ze onderscheiden), en gebruikt om meerwaardige en tweewaardige logica’s van elkaar te onderscheiden. Zie waarheidswaarde.