Next
Prev
Up
8.6
Some Properties of
Together with
We make use of the following analogue of Theorem
DfNotEqvNotBf
for
and
:
DiamondNotEqvNotBox
DfDiamondEqvDiamondDf
DfDiamondNotEqvNotBfBox
DiamondDfNotEqvNotBoxBf
BfBoxEqvBoxBf
Next
Prev
Up
2024-08-03
Contact
|
Home
|
ITL home
|
Course
|
Proofs
|
Algebra
|
FL
© 1996-2024