Changes

Convert formulas to TeX
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''' (Mno) 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 Mno(), then it cannot be true that exactly one of the arguments is false, so Mno() = False.  
+
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 p is the only argument, then Mno(p) says that p is false, so Mno(p) = Not(p).  
 
If p is the only argument, then Mno(p) says that p is false, so Mno(p) = Not(p).  
12,080

edits