- #1
Panphobia
- 435
- 13
Homework Statement
[itex](p \wedge t)\rightarrow (r \vee s)[/itex],[itex]q \rightarrow (u \wedge t)[/itex], [itex]u \rightarrow p[/itex], [itex]\neg s[/itex], [itex]q[/itex], show that these premises imply the conclusion of r
The Attempt at a Solution
The question calls for rules for inference to solve this problem, how would I go about doing that? Do I need to use more than one? Or can it be proven without using rules of inference. So the only thing I know that happens from here is that [itex](p \wedge t)\rightarrow (r \vee s)[/itex] turns into [itex](p \wedge t)\rightarrow r[/itex]
Last edited: