ctex教学中符号表示法与应用.pdfVIP

1.Notation

1.1NeionNotation

Notation1.1.1—OperationofNeion(ONeg).

Ihaveusedadifferentsymbol,¬,astheprefixneionoperatoronlytodifferentiate

itfromtheminussigninfixoperatorsymbol,−,whichisalsousedastheinfixoperator

forthedyadicoperationofsubtraction.IwillrefertothischangeofsymbolasONeg.

Thisisusedonlyasateachingtoolandshouldnotbeconfusedwiththelogicneion

operator.Anotheradvantageofusingthissymbolisthatitreducesthenumberof

delimitersusedinanexpressionforexample,¬aversus(−a).

Neivefive:−5

Neivefive:¬5

Fourminusfive:4−5

Fourminusneivefive:4−−5

Fourminusneivefive:4−(−5)

Fourminusneivefive:4−¬5

Neivefourminusfive:−4−5

Neivefourminusfive:¬4−5

1.2MultiplicationNotation

Notation1.2.1—JuxtapositiontoCenter-Dot(JTC).

ab=a·b

Notation1.2.2—Center-DottoJustapostion(CTJ).

a·b=ab

1.3PowerNotation

Notation1.3.1—PowerToFactor(PoTF).

an=a·a·...·a·a

12n−1n

1.符号

1.1否定符号

符号1.1.1——取反运算(ONeg)。

我使用了不同的符号¬作为前缀否定运算符，只是为了将其与减号中缀运算符符

号−区分开来，后者也用作二元减法运算的中缀运算符。我将把这个符号的改变称为

。这仅用作，不应与逻辑否定运算符。使用此符号的另一个优点是

它减少了表达式中使用的分隔符的数量，例如¬a与(−a)。

负五：−5

负五：¬5

四减五：4−5

四减负五：4−−5

四减负五：4−(−5)

四减负五：4−¬5