| Re: Need help with simple proof
No problem. But I’m not quite sure I answered your question though.
Are you looking for truth functional translations to the inference rules or examples in which they are used?
Do you need a literal proof for that equation?
|