12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday October 25, 2024
Jump to navigationJump to searchMinimal negation operator (view source)
Revision as of 13:44, 25 August 2009
, 13:44, 25 August 2009sub [intermediary concept/preliminary definition]
|}
|}
To express the general case of <math>\nu_k\!</math> in terms of familiar operations, it helps to make a preliminary definition.
To express the general case of <math>\nu_k\!</math> in terms of familiar operations, it helps to introduce an intermediary concept:
'''Definition.''' Let the function <math>\lnot_j : \mathbb{B}^k \to \mathbb{B}</math> be defined for each integer <math>j\!</math> in the interval <math>[1, k]\!</math> by the following equation:
'''Definition.''' Let the function <math>\lnot_j : \mathbb{B}^k \to \mathbb{B}</math> be defined for each integer <math>j\!</math> in the interval <math>[1, k]\!</math> by the following equation:
