added negation

1 files changed, 10 insertions, 0 deletions

diff --git a/lexer.c b/lexer.c
index be35d85..5df1103 100644
--- a/lexer.c
+++ b/lexer.c
@@ -35,12 +35,18 @@ char* tttos(tokenType_t tokenType) {
 			return "JUSTIFICATION";
 		case PREMISE:
 			return "PREMISE";
+		case NEGATION:
+			return "NEGATION";
 		case ASSUMPTION:
 			return "ASSUMPTION";
 		case CONJUNCTION:
 			return "CONJUNCTION";
 		case DISJUNCTION:
 			return "DISJUNCTION";
+		case IMPLICATION:
+			return "IMPLICATION";
+		case BI_IMPLICATION:
+			return "BI_IMPLICATION";
 		default:
 			return "???";
 	}
@@ -128,6 +134,10 @@ token_t lex_first_token(char** content) {
 			free(s);
 			return init_token(ELIMINATION, NULL);
 		}
+		else if (strcmp(s, "~") == 0) {
+			free(s);
+			return init_token(NEGATION, NULL);
+		}
 		else if (strcmp(s, "^") == 0) {
 			free(s);
 			return init_token(CONJUNCTION, NULL);