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
No comments:
Post a Comment