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