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!

Server stats:

2.8K
active users

#LogicalImplication

0 posts0 participants0 posts today
Jon Awbrey<p>Logic Syllabus • 2<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 Operators<br />• <a href="https://oeis.org/wiki/Logic_Syllabus#Logical_operators" 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_operators</span></a></p><p>Logical Negation • <a href="https://oeis.org/wiki/Logical_negation" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Logical_negation</span><span class="invisible"></span></a><br />Logical NAND • <a href="https://oeis.org/wiki/Logical_NAND" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Logical_NAND</span><span class="invisible"></span></a><br />Logical NNOR • <a href="https://oeis.org/wiki/Logical_NNOR" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Logical_NNOR</span><span class="invisible"></span></a><br />Logical Conjunction • <a href="https://oeis.org/wiki/Logical_conjunction" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Logical_conjunct</span><span class="invisible">ion</span></a><br />Logical Disjunction • <a href="https://oeis.org/wiki/Logical_disjunction" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Logical_disjunct</span><span class="invisible">ion</span></a><br />Exclusive Disjunction • <a href="https://oeis.org/wiki/Exclusive_disjunction" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Exclusive_disjun</span><span class="invisible">ction</span></a><br />Logical Implication • <a href="https://oeis.org/wiki/Logical_implication" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Logical_implicat</span><span class="invisible">ion</span></a><br />Logical Equality • <a href="https://oeis.org/wiki/Logical_equality" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Logical_equality</span><span class="invisible"></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/LogicalOperator" class="mention hashtag" rel="tag">#<span>LogicalOperator</span></a> <a href="https://mathstodon.xyz/tags/LogicalConnective" class="mention hashtag" rel="tag">#<span>LogicalConnective</span></a><br /><a href="https://mathstodon.xyz/tags/Negation" class="mention hashtag" rel="tag">#<span>Negation</span></a> <a href="https://mathstodon.xyz/tags/NAND" class="mention hashtag" rel="tag">#<span>NAND</span></a> <a href="https://mathstodon.xyz/tags/NNOR" class="mention hashtag" rel="tag">#<span>NNOR</span></a> <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/XOR" class="mention hashtag" rel="tag">#<span>XOR</span></a> <a href="https://mathstodon.xyz/tags/LogicalImplication" class="mention hashtag" rel="tag">#<span>LogicalImplication</span></a> <a href="https://mathstodon.xyz/tags/LogicalEquality" class="mention hashtag" rel="tag">#<span>LogicalEquality</span></a></p>
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>