(s∨r)

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)
admin8天前
60