Jon Awbrey<p><span class="h-card"><a href="https://mathstodon.xyz/@bblfish" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bblfish</span></a></span> <span class="h-card"><a href="https://fosstodon.org/@josd" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>josd</span></a></span> <span class="h-card"><a href="https://social.logilab.org/@semwebpro" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>semwebpro</span></a></span> <span class="h-card"><a href="https://scholar.social/@hochstenbach" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>hochstenbach</span></a></span> </p><p>One thing I found out early on is how critical it is to get <a href="https://mathstodon.xyz/tags/AlphaGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaGraphs</span></a> (<a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BooleanFunctions</span></a>, <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PropositionalCalculus</span></a>, <a href="https://mathstodon.xyz/tags/ZerothOrderLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZerothOrderLogic</span></a>) down tight. If you do that it changes how you view <a href="https://mathstodon.xyz/tags/FOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FOL</span></a> (<a href="https://mathstodon.xyz/tags/PredicateCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PredicateCalculus</span></a>, <a href="https://mathstodon.xyz/tags/QuantificationalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>QuantificationalLogic</span></a>). That tends to rub people who view FOL as <a href="https://mathstodon.xyz/tags/GOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GOL</span></a> (<a href="https://mathstodon.xyz/tags/GodsOwnLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GodsOwnLogic</span></a>) the wrong way so you have watch out for that if you go down this road.</p><p>Here's a primer on \(\alpha\) <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> as I see them —<br>• <a href="https://oeis.org/w/index.php?title=Logical_Graphs&amp;stable=0&amp;redirect=no" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">oeis.org/w/index.php?title=Log</span><span class="invisible">ical_Graphs&amp;stable=0&amp;redirect=no</span></a></p>