Changes

<font size="3">☞</font> This page belongs to resource collections on Logic and Inquiry.
Line 1: Line 1: −
<font size="3">&#9758;</font> This page belongs to 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]].
    
The '''minimal negation operator''' <math>\nu\!</math> is a [[multigrade operator]] <math>(\nu_k)_{k \in \mathbb{N}}</math> where each <math>\nu_k\!</math> is a <math>k\!</math>-ary [[boolean function]] defined in such a way that <math>\nu_k (x_1, \ldots , x_k) = 1</math> in just those cases where exactly one of the arguments <math>x_j\!</math> is <math>0.\!</math>
 
The '''minimal negation operator''' <math>\nu\!</math> is a [[multigrade operator]] <math>(\nu_k)_{k \in \mathbb{N}}</math> where each <math>\nu_k\!</math> is a <math>k\!</math>-ary [[boolean function]] defined in such a way that <math>\nu_k (x_1, \ldots , x_k) = 1</math> in just those cases where exactly one of the arguments <math>x_j\!</math> is <math>0.\!</math>
12,080

edits