Trouble proving argument as valid

44 Views Asked by At

I need help converting this argument: " If I don’t pay my income taxes, then I file for an extension or I am a felon. I’m not a felon and I didn’t file for an extension. Therefore, I paid my income taxes." into propositional logic and proving it as valid. This is what i believe it looks like symbolised: ~p->(q v r), ~(r & q), therefore p. every truth table i construct proves it as invalid and every truth table generator i use proves it as invalid. But my answer key says its valid, so perhaps im symbolising it wrong? I would really appreciate some help here.