8.6 Some Properties of Together with

We make use of the following analogue of Theorem DfNotEqvNotBf for and :

   DiamondNotEqvNotBox
   DfDiamondEqvDiamondDf
   DfDiamondNotEqvNotBfBox
   DiamondDfNotEqvNotBoxBf
   BfBoxEqvBoxBf

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