1: Symbolic language
( \newcommand{\kernel}{\mathrm{null}\,}\)
- 1.1: Statements
- a sentence that is either true or false
- 1.2: Converting language to symbols
- As we have already begun to do, we will use letters to represent (possibly variable) logical statements and substatements.
- 1.3: Logical Analysis
- We will now leave the English language behind and concentrate on logical statements consisting only of variables and connectives.
- 1.4: Tautologies and contradictions
- a logical statement that is always true for all possible truth values of its variable substatements