## 例文

- 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 ).