• law of excluded middle

law of excluded middle (suomeksi)

Määritelmät:

• (lb, en, logic) (l, en, A principle of classical logic which states all statements must be either true or false), i.e. in symbols: $P\; \backslash vee\; \backslash neg\; P$.