Question

logic: write the proof for:
(p->q) *(r->s)
(q->t)*(s->u)
(~p->t)*(~q->s)
~t
THEREFORE: ~R v ~Q

Answer 1

Are all of those statements anded together?

Answer 2

q->t (simplification of line 2)
~q (modus tollens on previous line and ~t)
~q v ~r = addition

Answer 3

each row is separate but the * is AND s

Answer 4

What is the original question?

Answer 5

to write the proof for these statments.

Answer 6

proof that ~q or ~r is true, based on those statements