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
Typo's chapter 10 #58
Closed
mvrozend closed 3 years ago
10.1.1 "also holds also for first-order logic:" should be "also holds for first-order logic:"
10.1.2 "get an answer about the he validity of an inference. " should be "get an answer about the validity of an inference. "