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

Work are making me do the qualification
I took today off as study leave. They did pay the 500 it will cost so not complaining.
(, Wed 14 Feb 2018, 12:26, archived)
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)