   philosophy.lander.edu 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) (s  r) 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  