From our text SYMLOG

- Page 215:
Exercise 5.5.3 (f)
**Also**give an informal argument for this result. - Page 215:
Exercise 5.5.3 (h). Give a SYMLOG printout.
- Page 215:
Exercise 5.5.4 (h). Give a SYMLOG printout.
- Page 215:
Exercise 5.5.5 (b). Give a SYMLOG printout deriving both \alpha and
¬\alpha from the test set.

Highlight the two lines where*you*believe these contradictory wffs appear.

**Also**give an informal argument that the test set is inconsistent. - Page 216:
Exercise 5.5.6 (h). Give a SYMLOG printout.
- Page 216:
Exercise 5.5.7 (j). Give a SYMLOG printout.
- Page 221:
Exercise 5.6.6 (b), (e), (f).

You must give reasons for your answer. You may use (and are encouraged to use) the**soundness**and**completeness**theorems.

If the statement is**false**, give a specific counter-example. [One failure makes such a general statement false.]

If the statement is**true**, give an informal (natural language) argument that applies to every possible case.