Logical connective (source code)

= Logical connective
{wiki}

A logical connective forms a compound proposition from one or more propositions.