1) Use propositional logic to prove that the arguments are valid.

   
1     1  
         
         
         
         
         
         
         
         
         

2) Use propositional logic to prove that the verbal argument is valid.

If the ad (A) is successful, then the sales (S) volume will go up. Either the ad is successful or the store will close (C). The sales volume will not go up. Therefore the store will close.

3) What is the truth value of the expression in each of the following interpretations?

a) P(x) is the property that x takes Discrete Structures, and the domain of interpretation is all Computer Science majors at UNI.

b) P(x) is the property that x takes Discrete Structures, and the domain of interpretation is all students at UNI.