8.1 Some Basic Properties of Chop

We now consider deducing various simple properties of chop and the associated operators , , and which have a wide range of uses.

BfChopImpChop
BoxChopImpChop
BoxChopEqvChop
BfGen
LeftChopImpChop
LeftChopEqvChop
DfImpDf
DfEqvDf
RightChopImpChop
RightChopEqvChop
DiamondEqvDiamond
BoxEqvBox
BoxImpInferBoxImpBox
AndChopA
AndChopB
AndChopImpChopAndChop
AndChopCommute
OrChopEqv
ChopImpDf
DfEmpty
ChopImpDiamond

2024-08-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024