- #1

Munnu

- 17

- 1

- TL;DR Summary
- A few questions about proof writing.

I have a couple general questions regarding writing proofs:

And if yes to 1 and/or 2, is it important for a newcomer proof writer to begin by always decomposing into symbolic logical statements (akin to the format seen on: pg 6-7 middle column “tautology”) and then consciously apply a rule of inference (like they do on page 20-21 on this pdf)? https://www.site.uottawa.ca/~lucia/courses/2101-10/lecturenotes/04InferenceRulesProofMethods.pdf

I'm trying to understand are 1 and 2 generally implicit in proofs or is it that 1 and 2 are typically techniques used for propositional and predicate logic and might not even apply depending on the discipline?

Thank you for any help.

- Do proofs typically fall into being one out of all of the rules of inference (page 6-7 on this pdf)
- or is it that generally, most proofs may categorically qualify within a very small subset of the rules of inference (say “many common proofs are generally modus ponens or hypothetical syllogism”)
- or is it possible that many proofs may not use any rules at all?

And if yes to 1 and/or 2, is it important for a newcomer proof writer to begin by always decomposing into symbolic logical statements (akin to the format seen on: pg 6-7 middle column “tautology”) and then consciously apply a rule of inference (like they do on page 20-21 on this pdf)? https://www.site.uottawa.ca/~lucia/courses/2101-10/lecturenotes/04InferenceRulesProofMethods.pdf

I'm trying to understand are 1 and 2 generally implicit in proofs or is it that 1 and 2 are typically techniques used for propositional and predicate logic and might not even apply depending on the discipline?

Thank you for any help.