2 messages · Page 1 of 1 (latest)
did you solve this already? i may be able to help you if you explain me the context better
"¬⊥" means false? or what? what are the "equivalence laws" ?
raven junco