Mathy logic is a very useful subject and example to introduce some fundamentals related to the bictiopedia project.
Truth (symbolic semiotics) is continuos and the more simplified (discrete) their networks (semantic meanings), the trulier.
Logic, like semiotics, can’t be primarily discrete, Logic is primarily continuos. It is Math (like semantics) which should be primarily discrete.
Discrete logic is synonimized as Formal logic and Informal math is considered a non much recognized (just a) branch of pure (discrete) math. These are flaws from bigger to smaller.
Formal logic (semiotics) and math (semantics) rely in an excluded middle principle orthodoxia that wants to eliminate uncertainity, subjectivity, and even the possibility of a meaningful link and the hipothesis of an entangled holism (+destinism) at a broad level from what is declared as a symbol, meaning or truth. This way we finally have thessauruses (semantic networks platforms) that use antonyms (B) as complete absence of A, instead of considering that as a natural total lenght of a very unknown link or a reached natural constraint through symbolic words.
This discreter logic doesn’t really exist (logic is continuous…), but its enforcement mean to don’t care about degrees of More or less Synonims or Related words (only through order of appearance…!?). So finally formal dictionaries are too centralized while fuzzy logic is too decentralized and further epistemologies (encyclopedias, achademia and science) are not very wise. See more about this related issue coming out from a poor backgrounding of mathy logic, here.