Closed DorusKeijzer closed 2 years ago
On the first line of the answer to 8.9.1 (appendix H) , you make a statement about all Rn(t1,...,tn) in P (the set of proposition letters) rather than for all ... in R (the set of predicate symbols)
Thanks @DorusKeijzer ! Good spot
On the first line of the answer to 8.9.1 (appendix H) , you make a statement about all Rn(t1,...,tn) in P (the set of proposition letters) rather than for all ... in R (the set of predicate symbols)