Give an inductive definition of the function F , defined by recursion on PROP from the functions H at , H o, H ¬ , as a set F ∗ of pairs
Can anyone explain the question and give a hint for answer?
Asked
Active
Viewed 14 times
0
Athena
- 103
-
1I'm afraid you're the one who needs to explain the question. Essentially all of its notation is probably specific to the (undisclosed) book (or notes) you have found it in, and there's no way for us to really guess what your book means by for example "H at, H o, H $\neg$". – hmakholm left over Monica Oct 20 '16 at 15:44
-
this is the exact thing the book says. that's why I do do not understand it either – Athena Oct 20 '16 at 15:48