brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-07-29 20:52:01 +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:19:23 -05:00 • committed by GitHub
commit db30799c4f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 19 deletions
Show stats 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: class Term:
def __init__(self): def __init__(self):
pass pass
def __lt__(self, y):
return Inequation(self, y)
class PropositionalVariable(Term): class PropositionalVariable(Term):
def __init__(self, name): def __init__(self, name):
@ -70,23 +68,6 @@ Disjunction = Operation("∨", 2)
Implication = Operation("→", 2) Implication = Operation("→", 2)
Necessitation = Operation("!", 1) 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: class Rule:
def __init__(self, premises : Set[Term], conclusion: Term): def __init__(self, premises : Set[Term], conclusion: Term):
self.premises = premises self.premises = premises