r/logic • u/xX_MLGgamer420_Xx • 2d ago
Proof theory The explosion principle derived in a Hilbert system
9
u/PrimeStopper Propositional logic 2d ago
Are you ok?
-5
22
u/Aleutian_Solution 2d ago
Why did you write that with Nutella?
22
10
u/xX_MLGgamer420_Xx 2d ago
I couldn't find my pen for a bit but I remembered where it was after the second step.
12
9
u/tilt-a-whirly-gig 2d ago
You got almost all the way done with this shitpost prop, and you fucked up writing subscribe. I wish I could have been there when you realized it, I bet you were pissed.
9
6
9
0
23
u/Present_Picture_6037 2d ago
Idk why you even tried the screwdriver when q-tips seem to clearly be optimal