• Home
  • principle of excluded middle

principle of excluded middle

logical principle stating that for every proposition, either it or its negation is true

en-GB/ˈpɹɪnsɪpəl əv ɪkˈskluːdɪd ˈmɪdəl/
en-US/ˈpɹɪnsəpəl ʌv ɪkˈskludɪd ˈmɪdəl/

Categories:

axiomprincipletheorem