Toon vak Introduction to Logic (AI and MA)