From a7d426c3d5b72b57131c5ca2e6efbf0a7c2b8df9 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Sat, 17 Jun 2023 20:11:37 -0700 Subject: added contradiction introduction rule --- src/parse.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/parse.h') diff --git a/src/parse.h b/src/parse.h index c6e76ec..4282ead 100644 --- a/src/parse.h +++ b/src/parse.h @@ -25,6 +25,8 @@ prop_t parse_proposition(tokenSet_t tokenSet, int* seek, char isNegative); just_t parse_justification(tokenSet_t tokenSet); /* proposition equal */ char peq(prop_t prop1, prop_t prop2); +/* proposition equal, disregarding negation */ +char pbeq(prop_t prop1, prop_t prop2); /* scope is lesser than in depth and ID */ char slt(scope_t scope1, scope_t scope2); /* scope is equal to or lesser than in depth and ID */ -- cgit v1.3.1