12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchMinimal negation operator (view source)
Revision as of 16:36, 4 December 2013
, 16:36, 4 December 2013update
Line 1:
Line 1:
* [http://intersci.ss.uci.edu/wiki/index.php/Minimal_negation_operator Minimal Negation Operator @ InterSciWiki]
−* [http://wiki.oercommons.org/index.php/Minimal_negation_operator Minimal Negation Operator @ OER Commons]
* [http://beta.wikiversity.org/wiki/Minimal_negation_operator Minimal Negation Operator @ Wikiversity Beta]
+ + + + + + +* [http://proofwiki.org/wiki/Definition:Minimal_Negation_Operator Minimal Negation Operator], [http://proofwiki.org/ ProofWiki]
* [http://wikinfo.org/index.php/Minimal_negation_operator Minimal Negation Operator], [http://wikinfo.org/ Wikinfo]
[[Category:Inquiry]]
−[[Category:Open Educational Resource]]
−[[Category:Peer Educational Resource]]
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
−A '''minimal negation operator''' <math>(\texttt{Mno})</math> is a logical connective that says “just one false” of its logical arguments.
+A '''minimal negation operator''' <math>(\texttt{Mno})</math> is a logical connective that says “just one false” of its logical arguments.
If the list of arguments is empty, as expressed in the form <math>\texttt{Mno}(),</math> then it cannot be true that exactly one of the arguments is false, so <math>\texttt{Mno}() = \texttt{False}.</math>
If the list of arguments is empty, as expressed in the form <math>\texttt{Mno}(),</math> then it cannot be true that exactly one of the arguments is false, so <math>\texttt{Mno}() = \texttt{False}.</math>
Line 120:
Line 120:
<br>
<br>
−{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
+{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:70%"
−|+ <math>\text{Table 3.}~~\text{Logical Boundaries and Their Complements}</math>
+|+ <math>\text{Table 3.} ~~ \text{Logical Boundaries and Their Complements}\!</math>
−|- style="background:#f0f0ff"
+|- style="background:ghostwhite"
| <math>\mathcal{L}_1</math>
| <math>\mathcal{L}_1</math>
| <math>\mathcal{L}_2</math>
| <math>\mathcal{L}_2</math>
| <math>\mathcal{L}_3</math>
| <math>\mathcal{L}_3</math>
| <math>\mathcal{L}_4</math>
| <math>\mathcal{L}_4</math>
−|- style="background:#f0f0ff"
+|- style="background:ghostwhite"
|
|
| align="right" | <math>p\colon\!</math>
| align="right" | <math>p\colon\!</math>
| <math>1~1~1~1~0~0~0~0</math>
| <math>1~1~1~1~0~0~0~0</math>
|
|
−|- style="background:#f0f0ff"
+|- style="background:ghostwhite"
|
|
| align="right" | <math>q\colon\!</math>
| align="right" | <math>q\colon\!</math>
| <math>1~1~0~0~1~1~0~0</math>
| <math>1~1~0~0~1~1~0~0</math>
|
|
−|- style="background:#f0f0ff"
+|- style="background:ghostwhite"
|
|
| align="right" | <math>r\colon\!</math>
| align="right" | <math>r\colon\!</math>
Line 420:
Line 420:
{{col-begin}}
{{col-begin}}
{{col-break}}
{{col-break}}
+* [http://intersci.ss.uci.edu/wiki/index.php/Minimal_negation_operator Minimal Negation Operator @ InterSciWiki]
* [http://mywikibiz.com/Minimal_negation_operator Minimal Negation Operator @ MyWikiBiz]
* [http://mywikibiz.com/Minimal_negation_operator Minimal Negation Operator @ MyWikiBiz]
−{{col-break}}
{{col-break}}
−* [http://p2pfoundation.net/Minimal_Negation_Operator Minimal Negation Operator @ P2P Foundation]
+* [http://beta.wikiversity.org/wiki/Minimal_negation_operator Minimal Negation Operator @ Wikiversity Beta]
* [http://ref.subwiki.org/wiki/Minimal_negation_operator Minimal Negation Operator @ Subject Wikis]
* [http://ref.subwiki.org/wiki/Minimal_negation_operator Minimal Negation Operator @ Subject Wikis]
−{{col-end}}
{{col-end}}
Line 506:
Line 504:
===Related articles===
===Related articles===
−* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, “Semiotic Information”]
+{{col-begin}}
−{{col-break}}
−* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”]
+* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
−* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
−* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”]
+* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
−{{col-break}}
−* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
−* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
−* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”]
+* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
−{{col-break}}
−* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”]
+* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
−* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
−* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”]
+* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
−{{col-end}}
−* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, “Differential Logic and Dynamic Systems”]
==Document history==
==Document history==
Line 530:
Line 527:
* [http://mywikibiz.com/Minimal_negation_operator Minimal Negation Operator], [http://mywikibiz.com/ MyWikiBiz]
* [http://mywikibiz.com/Minimal_negation_operator Minimal Negation Operator], [http://mywikibiz.com/ MyWikiBiz]
* [http://planetmath.org/MinimalNegationOperator Minimal Negation Operator], [http://planetmath.org/ PlanetMath]
* [http://planetmath.org/MinimalNegationOperator Minimal Negation Operator], [http://planetmath.org/ PlanetMath]
−* [http://beta.wikiversity.org/wiki/Minimal_negation_operator Minimal Negation Operator], [http://beta.wikiversity.org/ Wikiversity Beta]
* [http://beta.wikiversity.org/wiki/Minimal_negation_operator Minimal Negation Operator], [http://beta.wikiversity.org/ Wikiversity Beta]
{{col-break}}
{{col-break}}
−* [http://getwiki.net/-Minimal_Negation_Operator Minimal Negation Operator], [http://getwiki.net/ GetWiki]
+* [http://web.archive.org/web/20070703045600/http://wikinfo.org/index.php/Minimal_negation_operator Minimal Negation Operator], [http://wikinfo.org/ Wikinfo]
−* [http://textop.org/wiki/index.php?title=Minimal_negation_operator Minimal Negation Operator], [http://textop.org/wiki/ Textop Wiki]
* [http://textop.org/wiki/index.php?title=Minimal_negation_operator Minimal Negation Operator], [http://textop.org/wiki/ Textop Wiki]
−* [http://en.wikipedia.org/w/index.php?title=Minimal_negation_operator&oldid=75156728 Minimal Negation Operator], [http://en.wikipedia.org/ Wikipedia]
+* [http://web.archive.org/web/20060913000000/http://en.wikipedia.org/wiki/Minimal_negation_operator Minimal Negation Operator], [http://en.wikipedia.org/ Wikipedia]
{{col-end}}
{{col-end}}
−[[Category:Automata Theory]]
[[Category:Automata Theory]]
+[[Category:Boolean Functions]]
[[Category:Charles Sanders Peirce]]
[[Category:Charles Sanders Peirce]]
[[Category:Combinatorics]]
[[Category:Combinatorics]]
Line 551:
Line 544:
[[Category:Formal Sciences]]
[[Category:Formal Sciences]]
[[Category:Formal Systems]]
[[Category:Formal Systems]]
+[[Category:Inquiry]]
[[Category:Linguistics]]
[[Category:Linguistics]]
[[Category:Logic]]
[[Category:Logic]]
+[[Category:Logical Graphs]]
[[Category:Mathematics]]
[[Category:Mathematics]]
[[Category:Neural Networks]]
[[Category:Neural Networks]]
[[Category:Philosophy]]
[[Category:Philosophy]]
+[[Category:Propositional Calculus]]
[[Category:Semiotics]]
[[Category:Semiotics]]
