search

jkorb / KI1V13001-Inleiding-Logica

This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"
Creative Commons Attribution 4.0 International
3 stars 16 forks source link

1 missing closing parenthesis in solution 11.7.1.4 (APPENDIX K) #53

Closed ercanoezii closed 4 years ago

ercanoezii commented 4 years ago

The line below of solution 11.7.1.4 misses one closing parentheses at the end (page 358)

M, alpha |= AxAy(R(x, y) --> R(f(y), f(x))

ercanoezii commented 4 years ago

On the next page of the same solution (11.7.1.4 ), in the line

But then, we have M, alpha [x |-> d, y |-> d' |= R(f(y), f(x)) ...

there misses an ] to close the [x |-> d, y |-> d' part.

jkorb commented 4 years ago

Thanks @ercanoezii ! 👍