Αποστολή με SMS: Οπτική αναγνώριση χειρόγραφων προτάσεων κατηγορηματικής λογικής πρώτης τάξης μέσω τεχνητού νευρωνικού δικτύου