3 ms·
The Law of Excluded Middle says: ⊢(Ψ or ~Ψ) In inferential incompleteness says that there is a proposition Ψ such that: (⊬Ψ) and (⊬~Ψ)
by ProfHewitt 7y ago
The Law of Excluded Middle says:
⊢(Ψ or ~Ψ)
In inferential incompleteness says that there is a proposition Ψ such that:
(⊬Ψ) and (⊬~Ψ)