brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-11-03 03:11:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

Removed unused inequality rules

Browse source
This commit is contained in:
Brandon Rozek 2025-02-09 11:18:52 -05:00
parent d76a7fc35d
commit b1a046b70b
1 changed files with 0 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

19
logic.py
View file

@ -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