Mathematical Logic - Mathematics 350 - Fall 2008 - Independent Study

Extra problem for Homework 9

Home

 


1. Let S denote (x) (P(x) --> R(x)), and let T denote (x)P(x) --> (x)R(x). Is each of the following true or false? If true, explain why informally; if false, give a specific example.

  1. S --> T
  2. T --> S
     

Updated: 31 August, 2009 17:44:19