Αποστολή με SMS: Η λογική των προτάσεων, προτασιακός λογισμός