Search results
Jump to navigation
Jump to search
- '''Logical negation''' is an operation on one logical value, typically the value of a propositi |+ style="height:30px" | <math>\text{Logical Negation}\!</math> ...6 KB (699 words) - 02:29, 9 March 2020
- ...> in the '''parameter set''' <math>\Alpha\!</math> is an indexed family of operators <math>(\Omega_\alpha)_\Alpha = \{ \Omega_\alpha : \alpha \in \Alpha \}\!</m ===Logical operators=== ...5 KB (544 words) - 08:47, 24 March 2023
- ===Logical operators=== * [[Logical negation|Negation]] ...4 KB (520 words) - 04:08, 10 May 2019
- ===Logical operators=== *[[Logical negation|Negation]] ...4 KB (516 words) - 07:58, 12 May 2019
- ...is sufficient by itself to generate every operator in a specified class of operators. In the context of [[logic]], it is a logical operator that suffices ===Logical operators=== ...5 KB (602 words) - 03:53, 2 June 2018
- ===Logical operators=== * [[Logical negation|Negation]] ...5 KB (568 words) - 16:06, 8 September 2022
- ===Logical operators=== * [[Logical negation|Negation]] ...5 KB (590 words) - 08:46, 24 March 2023
- ===Logical operators=== * [[Logical negation|Negation]] ...5 KB (626 words) - 02:28, 9 March 2020
- ===Logical operators=== * [[Logical negation|Negation]] ...5 KB (635 words) - 18:44, 26 December 2022
- ===Logical operators=== * [[Logical negation|Negation]] ...5 KB (648 words) - 02:29, 9 March 2020
- ===Logical operators=== * [[Logical negation|Negation]] ...5 KB (654 words) - 02:29, 9 March 2020
- ===Logical operators=== * [[Logical negation|Negation]] ...6 KB (697 words) - 02:28, 9 March 2020
- The '''minimal negation operator''' <math>\nu</math> is a [[../MultigradeOperator/|multigrade oper ...ve typeface will be used for logical expressions based on minimal negation operators, for example, <math>=(x, y, z)= </math> = <math>\nu (x, y, z).</math> ...13 KB (2,116 words) - 10:42, 13 September 2020
- ===Logical operators=== * [[Logical negation|Negation]] ...6 KB (799 words) - 04:12, 10 May 2019
- A '''minimal negation operator''' <math>(\nu)~\!</math> is a logical connective that says “ ...math>p~\!</math> is false, so <math>\nu(p)~\!</math> expresses the logical negation of the proposition <math>p.~\!</math> Written in several different no ...22 KB (3,303 words) - 08:46, 24 March 2023
- ===Logical operators=== * [[Logical negation|Negation]] ...6 KB (785 words) - 04:12, 10 May 2019
- ===Logical operators=== * [[Logical negation|Negation]] ...7 KB (857 words) - 04:07, 10 May 2019
- ==Logical negation== '''[[Logical negation]]''' is an operation on one logical value, typically the value of a proposi ...16 KB (2,160 words) - 02:29, 9 March 2020
- ...tion expressions in the manner of products, plus the family of ''[[minimal negation operator]]s'', the first few of which are given in the following variant no ===Logical operators=== ...12 KB (1,599 words) - 02:29, 9 March 2020
- ...[[sole sufficient operator]]'' for deriving or generating all of the other operators in the subject matter variously described as [[boolean function]]s, monadic ...account of their dual relationship it became common to refer to these two operators in the plural, as the ''amphecks''. ...9 KB (1,221 words) - 08:46, 24 March 2023