- #1

- 52

- 0

If (p-> q), (neg [r] -> s), and (neg [q] V neg

[refer to table of logical equivalences (p62) and the table of logical implication (p62)]The tables are in the textbook Kenneth Ross, 5th edition, Discrete Math's.

First I have to construct the proof line: I am gessing that the hypotheses are like this, but am not sure for their order:

(neg [r] -> s) /\ (p -> q) /\ (neg [q] V neg

Then I need to make the "formal proof of it" using the tables.

Please someone help me with any sugestion how to keep going with this problem.

Thank you: