Changes

MyWikiBiz, Author Your Legacy — Saturday May 04, 2024
Jump to navigationJump to search

Minimal negation operator (view source)

Revision as of 16:36, 4 December 2013

447 bytes removed ,  16:36, 4 December 2013
update
Line 1: Line 1:  
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
 
<font size="3">&#9758;</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 &ldquo;just one false&rdquo; 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"
 
| &nbsp;
 
| &nbsp;
 
| 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>
 
| &nbsp;
 
| &nbsp;
−
|- style="background:#f0f0ff"
+
|- style="background:ghostwhite"
 
| &nbsp;
 
| &nbsp;
 
| 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>
 
| &nbsp;
 
| &nbsp;
−
|- style="background:#f0f0ff"
+
|- style="background:ghostwhite"
 
| &nbsp;
 
| &nbsp;
 
| 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]
−
* [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]
   
{{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]
−
* [http://beta.wikiversity.org/wiki/Minimal_negation_operator Minimal Negation Operator @ Wikiversity Beta]
   
{{col-end}}
 
{{col-end}}
   Line 506: Line 504:  
===Related articles===
 
===Related articles===
   −
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, &ldquo;Semiotic Information&rdquo;]
+
{{col-begin}}
−
 
+
{{col-break}}
−
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
+
* [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, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
+
* [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, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
+
* [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, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
+
* [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, &ldquo;Differential Logic : Introduction&rdquo;]
+
* [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, &ldquo;Differential Propositional Calculus&rdquo;]
+
* [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, &ldquo;Differential Logic and Dynamic Systems&rdquo;]
      
==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://proofwiki.org/wiki/Definition:Minimal_Negation_Operator Minimal Negation Operator], [http://proofwiki.org/ ProofWiki]
   
* [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://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:Inquiry]]
  −
[[Category:Open Educational Resource]]
  −
[[Category:Peer Educational Resource]]
   
[[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]]
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/254500"

Navigation menu