#logical assertion #propositional logic #turnstile #proof theory #formal statement