WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites implies?
impliesDef P Q == PQ

Syntax:P Q has structure: implies(P; Q)

About:
functionimplies!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc