Homepage > Logic > Tests > Symbolic Logic > Part III Statement Forms Answers

 Philosophy 103: Introduction to Logic Test: Symbolic Logic Topic: Theory Construction in Economics To access answers with a non-java enabled browser,  click here:  SYMBOLIC LOGIC  TEST PART III  STATEMENT FORMS

Part III:  Statement Forms.  Test the corresponding statement-forms of any three of the four higher-level laws and characterize them as being a tautology, a contingent statement or a self-contradictory statement.

On the basis of your analysis, would you reject any of the higher-level laws your test?

 Prof. Userer's First Law: Form S    [(S    R)    (S    R)] s    [(s    r)    (s    r)]

 r s s  r r s  r (s r) (sr) s [(s r) (s r)] 1 T T T F F T T 2 T F F F F F T 3 F T F T T T T 4 F F F T F F T

Prof. Userer's First Law lacks empirical content--his First Law is a tautology.

 Prof. Userer's Second Law: Form [V    (R   T)]    (U    T) [v    (r    t)]    (u    t)

 r t u v r  ·  t v Ú  (r  ·  t) u  ·  t [v Ú  (r  ·  t)]  É   (u  ·  t) 1 T T T T T T T T 2 T T T F T T T T 3 T T F T T T F F 4 T T F F T T F F 5 T F T T F T F F 6 T F T F F F F T 7 T F F T F T F T 8 T F F F F F F T 9 F T T T F T T T 10 F T T F F F T T 11 F T F T F T F F 12 F T F F F F F T 13 F F T T F T F F 14 F F T F F F F T 15 F F F T F T F F 16 F F F F F F F T

Prof. Userer's second law is contingent.

 Prof. Userer's Third Law: Form (T    U)    (P    Q) (t    u)    (p    q)

 p q t u u q t u p q (t  u)     (p q) 1 T T T T F F F F T 2 T T T F T F T F F 3 T T F T F F T F F 4 T T F F T F T F F 5 T F T T F T F T T 6 T F T F T T T T T 7 T F F T F T T T T 8 T F F F T T T T T 9 F T T T F F F T T 10 F T T F T F T T T 11 F T F T F F T T T 12 F T F F T F T T T 13 F F T T F T F T T 14 F F T F T T T T T 15 F F F T F T T T T 16 F F F F T T T T T

Prof. Userer's Third Law is contingent.

CONTINUE TO PART IV: FORMAL PROOFS

Send corrections or suggestions to webmaster@philosophy.lander.edu