(s⇒t)

logic - ¬q, (¬p⇒(¬q⇒¬r)), (s∨r), (s⇒t), and (p⇒t), prove t., using Fitch - Stack Overflow

I am doing an intro to logic course and have been set the above. The rules allowed are:and introduction

logic172q (172p⇒(172q⇒172r)) (s∨r) (s⇒t) and (p⇒t)

admin 12天前

12 0