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...
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...