Αποστολή με SMS: The Logic System of Concept Graphs with Negation