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