Jon Awbrey<p>Logic Syllabus • 3<br />• <a href="https://inquiryintoinquiry.com/logic-syllabus/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>Logical Concepts<br />• <a href="https://oeis.org/wiki/Logic_Syllabus#Logical_concepts" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Logic_Syllabus#L</span><span class="invisible">ogical_concepts</span></a></p><p>Ampheck • <a href="https://oeis.org/wiki/Ampheck" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Ampheck</span><span class="invisible"></span></a><br />Boolean Domain • <a href="https://oeis.org/wiki/Boolean_domain" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Boolean_domain</span><span class="invisible"></span></a><br />Boolean Function • <a href="https://oeis.org/wiki/Boolean_function" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Boolean_function</span><span class="invisible"></span></a><br />Boolean-Valued Function • <a href="https://oeis.org/wiki/Boolean-valued_function" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Boolean-valued_f</span><span class="invisible">unction</span></a><br />Differential Logic • <a href="https://oeis.org/wiki/Differential_logic" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Differential_log</span><span class="invisible">ic</span></a><br />Logical Graph • <a href="https://oeis.org/wiki/Logical_Graphs" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Logical_Graphs</span><span class="invisible"></span></a><br />Minimal Negation Operator • <a href="https://oeis.org/wiki/Minimal_negation_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Minimal_negation</span><span class="invisible">_operator</span></a><br />Multigrade Operator • <a href="https://oeis.org/wiki/Multigrade_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Multigrade_opera</span><span class="invisible">tor</span></a><br />Parametric Operator • <a href="https://oeis.org/wiki/Parametric_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Parametric_opera</span><span class="invisible">tor</span></a><br />Peirce's Law • <a href="https://oeis.org/wiki/Peirce%27s_law" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Peirce%27s_law</span><span class="invisible"></span></a><br />Propositional Calculus • <a href="https://oeis.org/wiki/Propositional_calculus" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositional_ca</span><span class="invisible">lculus</span></a><br />Sole Sufficient Operator • <a href="https://oeis.org/wiki/Sole_sufficient_operator" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Sole_sufficient_</span><span class="invisible">operator</span></a><br />Truth Table • <a href="https://oeis.org/wiki/Truth_table" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Truth_table</span><span class="invisible"></span></a><br />Universe of Discourse • <a href="https://oeis.org/wiki/Universe_of_discourse" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Universe_of_disc</span><span class="invisible">ourse</span></a><br />Zeroth Order Logic • <a href="https://oeis.org/wiki/Zeroth_order_logic" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Zeroth_order_log</span><span class="invisible">ic</span></a></p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicSyllabus" class="mention hashtag" rel="tag">#<span>LogicSyllabus</span></a> <a href="https://mathstodon.xyz/tags/Ampheck" class="mention hashtag" rel="tag">#<span>Ampheck</span></a> <a href="https://mathstodon.xyz/tags/BooleanDomain" class="mention hashtag" rel="tag">#<span>BooleanDomain</span></a> <a href="https://mathstodon.xyz/tags/BooleanFunction" class="mention hashtag" rel="tag">#<span>BooleanFunction</span></a> <a href="https://mathstodon.xyz/tags/BooleanValuedFunction" class="mention hashtag" rel="tag">#<span>BooleanValuedFunction</span></a><br /><a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="tag">#<span>DifferentialLogic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraph" class="mention hashtag" rel="tag">#<span>LogicalGraph</span></a> <a href="https://mathstodon.xyz/tags/MinimalNegationOperator" class="mention hashtag" rel="tag">#<span>MinimalNegationOperator</span></a> <a href="https://mathstodon.xyz/tags/MultigradeOperator" class="mention hashtag" rel="tag">#<span>MultigradeOperator</span></a><br /><a href="https://mathstodon.xyz/tags/ParametricOperator" class="mention hashtag" rel="tag">#<span>ParametricOperator</span></a> <a href="https://mathstodon.xyz/tags/PeircesLaw" class="mention hashtag" rel="tag">#<span>PeircesLaw</span></a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/SoleSufficientOperator" class="mention hashtag" rel="tag">#<span>SoleSufficientOperator</span></a><br /><a href="https://mathstodon.xyz/tags/TruthTable" class="mention hashtag" rel="tag">#<span>TruthTable</span></a> <a href="https://mathstodon.xyz/tags/UniverseOfDiscourse" class="mention hashtag" rel="tag">#<span>UniverseOfDiscourse</span></a> <a href="https://mathstodon.xyz/tags/ZerothOrderLogic" class="mention hashtag" rel="tag">#<span>ZerothOrderLogic</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.8Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#Ampheck
0 posts · 0 participants · 0 posts today
Jon Awbrey<p><a href="https://mathstodon.xyz/tags/LogicSyllabus" class="mention hashtag" rel="tag">#<span>LogicSyllabus</span></a><br />• <a href="https://inquiryintoinquiry.com/logic-syllabus/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/logic-s</span><span class="invisible">yllabus/</span></a></p><p>This page serves as a focal node for a collection of related resources.</p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalOperators" class="mention hashtag" rel="tag">#<span>LogicalOperators</span></a></p><p><a href="https://mathstodon.xyz/tags/LogicalConjunction" class="mention hashtag" rel="tag">#<span>LogicalConjunction</span></a> <a href="https://mathstodon.xyz/tags/LogicalDisjunction" class="mention hashtag" rel="tag">#<span>LogicalDisjunction</span></a><br /><a href="https://mathstodon.xyz/tags/ExclusiveDisjunction" class="mention hashtag" rel="tag">#<span>ExclusiveDisjunction</span></a> <a href="https://mathstodon.xyz/tags/LogicalEquality" class="mention hashtag" rel="tag">#<span>LogicalEquality</span></a><br /><a href="https://mathstodon.xyz/tags/LogicalImplication" class="mention hashtag" rel="tag">#<span>LogicalImplication</span></a> <a href="https://mathstodon.xyz/tags/LogicalNegation" class="mention hashtag" rel="tag">#<span>LogicalNegation</span></a><br /><a href="https://mathstodon.xyz/tags/LogicalNAND" class="mention hashtag" rel="tag">#<span>LogicalNAND</span></a> <a href="https://mathstodon.xyz/tags/LogicalNNOR" class="mention hashtag" rel="tag">#<span>LogicalNNOR</span></a></p><p><a href="https://mathstodon.xyz/tags/LogicalConcepts" class="mention hashtag" rel="tag">#<span>LogicalConcepts</span></a></p><p><a href="https://mathstodon.xyz/tags/Ampheck" class="mention hashtag" rel="tag">#<span>Ampheck</span></a> <a href="https://mathstodon.xyz/tags/SoleSufficientOperator" class="mention hashtag" rel="tag">#<span>SoleSufficientOperator</span></a><br /><a href="https://mathstodon.xyz/tags/BooleanDomain" class="mention hashtag" rel="tag">#<span>BooleanDomain</span></a> <a href="https://mathstodon.xyz/tags/UniverseOfDiscourse" class="mention hashtag" rel="tag">#<span>UniverseOfDiscourse</span></a><br /><a href="https://mathstodon.xyz/tags/LogicalGraph" class="mention hashtag" rel="tag">#<span>LogicalGraph</span></a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="tag">#<span>PropositionalCalculus</span></a><br /><a href="https://mathstodon.xyz/tags/MinimalNegationOperator" class="mention hashtag" rel="tag">#<span>MinimalNegationOperator</span></a> <a href="https://mathstodon.xyz/tags/TruthTable" class="mention hashtag" rel="tag">#<span>TruthTable</span></a><br /><a href="https://mathstodon.xyz/tags/BooleanFunction" class="mention hashtag" rel="tag">#<span>BooleanFunction</span></a> <a href="https://mathstodon.xyz/tags/BooleanValuedFunction" class="mention hashtag" rel="tag">#<span>BooleanValuedFunction</span></a></p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload