Tool · Preview of Chapter 3
Truth table refresher
The five connectives of SL are defined by their truth tables. These are also what the symbolization checker uses to show you where an answer goes wrong, so a quick warm-up pays off.
Connective lab
Flip P and Q and watch every connective respond.
The characteristic tables
Row order. The book lists rows so the first sentence letter changes slowest, starting with T. With letters A and B the rows go TT, TF, FT, FF. With n letters there are 2n rows.
Fill in the table
Work out the column for the whole sentence. Start from the inside: the smallest compounds first, the main connective last.
Generator
Type any sentence to see its full table, with a column for each compound part. The shaded column is the main connective.