Αποστολή με SMS: Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό