Missing closing parenthesis in solution 10.8.5

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

Closed 607GitHub closed 3 years ago

607GitHub commented 3 years ago

10.8.5d is missing a closing parenthesis in the negated formula at the root, in appendix J.

jkorb commented 3 years ago

Thanks, @607GitHub ! Great spot.