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.

7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA