ENG 1120 Lecture Notes - Lecture 2: Formal Grammar, Ds 5
Document Summary
Perhaps, we detect or sense that something is missing in the argument. Specifically, a claim or statement that is implicit or implied. Either jim is angry, or frank is happy. If jim is angry, then he is moody. We will put the argument into its standard form: either jim is angry, or frank is happy, if jim is angry, then he is moody, frank is not happy. Accordingly, by adding a line, we have provided a proof that demonstrates how this argument is valid in its entirety. When we want to show how an argument is valid in its sentential form, we do the same thing. The only difference is that the argument is presented by using sentential variables and symbols. For example, we can use the following sentential variables -- j, f, and m. -- for the argument we just looked at: In its sentential form the argument now looks like this: