[Mojo Jojo]

Originally Posted by SNR

We had to use written arguments coded in logical symbols. For the most part we only learned how to use syllogistic logic in one semester, so the exam was graded on validity, not necessarily being a valuable or a good argument. So for example, you could say "All German Shepherds are dogs. All dogs bark. Therefore, all German Shepherds bark." The proof would be:

G -> D (which means "If G, then D")
D -> B
G
______
G -> B

That's a hugely simplistic example, and there are far more rules and logical syllogistic functions you can use, but yeah. That's basically what you're doing. Reasoning out why the world is flat in words, then showing validity by converting all the statements to symbols and then hashing it out in a proof.

Formal logic was one of my favorite classes in college