introduction to sentential logic and formal proofs