Next Prev Up

2.3 Properties of Diamond-a and Box-a

   DaEqvDtDi
   DaEqvDiDt
   DtDiEqvDiDt
   BaEqvBiBt
   BaEqvBtBi
   BtBiEqvBiBt
   DaNotEqvNotBa
   DaEqvNotBaNot
   BaElim
   DaIntro
   BaImpBt
   BaImpBi
   BaGen
   BaImpDist
   DaEqvDaDa
   BaEqvBaBa
   BaLeftChopImpChop
   BaRightChopImpChop
   BaAndChopImport
   ChopAndBaImport
   BaChopImpChopBa
   BoxStateEqvBaBoxState
   DiNotBaImpNotBa
   NotBaChopImpNotBa
Next Prev Up

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