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

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