Ask a New Question
p -> ~q , p
