"Two sentences are tautologically equivalent if they can be seen to be equivalent simply in virtue of the meanings of the truth-functional connectives"
Gang, what am I doing, where is my degree going with this, every time I read that sentence it somehow makes less sense, my logic module is purposefully trying to give me a headache
@mdstevens0612 Internally equality of a sentence to another is implemented by a magic dunder method of the form:
def __same_vibe_as__(self, other: Any) -> Yeah | Probably: ...
In ideal world systems this conducts a survey of everyone who can be seen to see the sentences, aggregating their unqualified opinions. In real world systems this may be prohibitively expensive so an implementation may leverage a limited survey done at compile-time (n=3, KNR, 1960).
(Matthew)=> 🏳️🌈🇿🇦🎮💻📖
Ellie