Logical Reasoning and Proofs