From b1a046b70b4f3a09fafcc280236b1a87bf00362c Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Sun, 9 Feb 2025 11:18:52 -0500 Subject: [PATCH] Removed unused inequality rules --- logic.py | 19 ------------------- 1 file changed, 19 deletions(-) diff --git a/logic.py b/logic.py index 5b2994c..7775590 100644 --- a/logic.py +++ b/logic.py @@ -27,8 +27,6 @@ class Operation: class Term: def __init__(self): pass - def __lt__(self, y): - return Inequation(self, y) class PropositionalVariable(Term): def __init__(self, name): @@ -70,23 +68,6 @@ Disjunction = Operation("∨", 2) Implication = Operation("→", 2) Necessitation = Operation("!", 1) -class Inequation: - def __init__(self, antecedant : Term, consequent: Term): - self.antecedant = antecedant - self.consequent = consequent - def __str__(self): - return str(self.antecedant) + "≤" + str(self.consequent) - -class InequalityRule: - def __init__(self, premises : Set[Inequation], conclusion: Inequation): - self.premises = premises - self.conclusion = conclusion - - def __str__(self): - str_premises = [str(p) for p in self.premises] - str_premises2 = "{" + ",".join(str_premises) + "}" - return str(str_premises2) + "=>" + str(self.conclusion) - class Rule: def __init__(self, premises : Set[Term], conclusion: Term): self.premises = premises