Wikiversity

Technical Reasoning/Formalization

< Technical Reasoning

Formalization

edit

In this section we generalize from the observations from the previous section. What we "observed" was

  • A scientific argument.
  • A philosophical argument.
  • Two mathematical proofs.
  • The proof of correctness of a computer program.
Retrieved from "https://en.wikiversity.org/w/index.php?title=Technical_Reasoning/Formalization&oldid=2613246"