Comment by silasdavis

Anything can be derived from p or not p, not from false.