Home / Glossary / Logical connective

Logical connectives are represented in CycL by special constants with names that are similar to the logical operators of formal logic. CycL connectives (as these constants are sometimes called) are used to build up complex formulas out of atomic formulas. The CycL constants representing the logical connectives are #$not, #$and, #$or, and #$implies. The collection of logical connectives is represented in Cyc as #$LogicalConnective.