Logic

Gregor Reisch, Logic presents its main themes. Margarita Philosophica, 1503 or 1508. Two dogs veritas (truth) and falsitas (falsehood) chase a rabbit called problema. Logic runs behind the dogs, armed with the sword syllogismus. In the bottom left corner, the philosopher Parmenides can be seen in a cave.

Contents

∧{\displaystyle \land } is read like "and", meaning both of the two. ∨{\displaystyle \lor } is read like "or", meaning at least one of the two. →{\displaystyle \rightarrow } is read like "implies", or "If ... then ...". ¬{\displaystyle \lnot } is read like "not", or "it is not the case that ...". Parentheses (,) are added for clarity and precedence; this means that what is in parenthesis should be looked at before the things outside.

Finally, those talking about logic talk about statements. A statement is simply something like "Aristole is human" or "all humans are mortal". Statements have a truth value; they are either true or false, but not both. Mistakes in logic are called "fallacies".

A logical proof is a list of statements. Each statement in the proof is either an assumption or has been proven to follow from earlier statements in the proof. A proof shows that one statement, the conclusion, follows from the assumptions. One can, for example, prove that "Aristotle is mortal" follows from "Aristotle is a man" and "All men are mortal".

There are statements that are always true.

(a∨¬a){\displaystyle (a\lor \lnot a)} is always true. It is called a tautology. (for example: "Either it rains, or it does not rain")

Logic is used by computers in what is called an algorithm. An algorithm is sort of like a cooking recipe; it tells the computer what to do and when to do it.

Logic is used in mathematics. People who study math create proofs that use logic to show that math facts are correct. There is an area of mathematics called mathematical logic that studies logic using mathematics.