Recent content by Ryan Dade

  1. R

    Help in understanding logical statements

    I'm trying to figure out how to show it. For example Derive (\forallz)Kzz 1. (\forallx)Kxx Assumption 2. Kcc 1\forallE 3. (\forallz)Kzz 2\forallI But I do not have a strong background in Predicate Logic so some problems are more...
  2. R

    Help in understanding logical statements

    In lieu of taking an extra course I signed up for a class without fulfilling a prerequisite. Now I'm trying to teach myself the stuff I should have learned and am having a hard time with two problems. If anyone can help explain how to get to the solution I would appreciate it. 1.) Show that...
Top