例文
- As is well known, the two alethic functors could be replaced by a single dyadic functor with the following syntax and semantics : if ? and ? are formulas, then ( ?? ) is a formula whose semantics are " not ( & alpha; and / or & beta; ) " ( see NOR ).
