Typo in 7.1.3 - Githubissues

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 Bvrheenen closed 4 years ago

Bvrheenen commented 4 years ago

7.1.3 "Of the two kinds of theorems, soundness and completeness, the former is typically easier to show than the letter. " --> 'latter'

jkorb commented 4 years ago

Uff, that's a weird typo ;) Thanks @Bvrheenen !