Toon vak Introduction to Logic (AI)