p → q ,s → ¬q, ¬s → p, q ∴ (¬s ∧ p) by rule of interference
Mathbot Says...
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.
p → q ,s → ¬q, ¬s → p, q ∴ (¬s ∧ p) by rule of interference
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.