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

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023