You are not logged in. Login or Signup
Home » Talk » Message 8151562 (Thread)

remember this and you will do fine
F proves that if F proves that (P → Q) and F proves P then F proves Q. In other words, F proves that ProvA(#(P → Q)) and ProvA(#(P)) imply ProvA(#(Q))
(, Wed 14 Feb 2018, 12:31, archived)
I'll have it tattooed on the inside of my eyelid immediately

(, Wed 14 Feb 2018, 12:33, archived)