law of the excluded middle

listen to the pronunciation of law of the excluded middle
الإنجليزية - الإنجليزية
Alternative form of law of excluded middle
law of excluded middle
An axiom of classical logic which states that, given a proposition P, either P is true or P is false, i.e. in symbols: P \vee \neg P . This law is rejected by intuitionistic logic
law of the excluded middle

    الواصلة

    law of the ex·clu·ded mid·dle

    التركية النطق

    lô ıv dhi îkskludıd mîdıl

    النطق

    /ˈlô əv ᴛʜē əkˈsklo͞odəd ˈmədəl/ /ˈlɔː əv ðiː ɪkˈskluːdəd ˈmɪdəl/
المفضلات