In chapter 8, we will again return to the study of syntax with a system of proof. Semantics is the study of meaning. Meaning is defined in terms of truth and falsity, i.e., the conditions under which a statement is either true or false. In statement logic, the atomic statement is taken to be the basic unit. An atomic statement is a statement that cannot be broken down into simpler statements.
Logic is fun.
Frege is a logician. Compound statements are statements comprised of at least one atomic statement. Aggies study logic and philosophy. Either the cafeteria serves pizza or the cafeteria serves hamburgers. If it rains, then people will get wet.