Text this: Αυτόματη παραγωγή ασκήσεων για διδασκαλία της λογικής ως γλώσσας αναπαράστασης γνώσης