#formal logic #proof #deduction #reasoning #theorem proving #conclusion #inference rules #turnstile #validity #soundness