Sekirov Dictionary

logical connective

noun1

A truth-valued function such as conjunction, disjunction, negation, and material implication.

forms

logical connectives

This dictionary works without the internet: on your phone · in Chrome