Derive q from p ∨ q and ∼p.
Mathbot Says...
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.
Derive q from p ∨ q and ∼p.
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.