Disjunction

Home / Glossary / Disjunction

Disjunction is represented in Cyc by the logical connective #$or. A formula is sometimes called a disjunction if it begins with #$or.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA