12,080
edits
Changes
Convert formulas to TeX
<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''' (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).