Logical Reasoning

In today's brief lab, we'll begin applying the rules of natural deduction to write rigorous, low-level proofs.

Problem: Starting Off

For each claim:

• In a sentence, describe what the claim is saying. Your description should be in the rough form "under assumptions ... we must show that ... ." You can reference the atomic propositions in the claims directly in your description, i.e., you don't need to instantiate the proof state into a real-world context.

• Give a rigorous, natural deduction-style proof of the claim.