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

Use of distinction by cases implicit in solution 3.10.2 #71

Closed 607GitHub closed 3 years ago

607GitHub commented 3 years ago

The first time that distinction by cases is used in the solutions is in 3.10.2(a)(=>)(ii). However, it is not pointed out here. I think that it should be, to make it clear to students that this is an application of the strategy.

jkorb commented 3 years ago

Fantastic suggestion!