Truth-Functional Logic

I teach formal logic from time to time, and the course involves discussing truth-functional logic. One example of a truth-functional statement might be, "If it is raining, then the grass is wet." You could rewrite this conditional statement as r------->w. In other words, express an "if . . . then" statement by using truth-functional connectives (symbols that connect utterances/compound utterances).

Another example could be, "John and Carol are home" which could be symbolized as J & C. So, you're taking wordy sentences and reducing them to variables coupled with symbols.

For more information, see https://legacy.earlham.edu/~peters/courses/log/terms2.htm