Linked from

The 23 pages that link to Logical connective, each with the reason it gives.

• Truth tableNarrower topic: Each connective supplies the rule used to compute a column of the table.

• NegationNarrower topic: Negation is a connective that modifies one proposition rather than joining two.

• Sequent calculusNarrower topic: Rules for connectives form the logical core of sequent calculi.

• Modus ponensNarrower topic: The conditional connective joins P to Q in the rule’s first premise.

• Logical implicationNarrower topic: The material conditional is one connective used to express implication.

• DisjunctionNarrower topic: Disjunction belongs to the family of operations that build compound propositions.

• Disjunctive syllogismNarrower topic: Disjunction and negation are the connectives that structure the premises.

• Disjunction eliminationNarrower topic: Disjunction elimination operates on the connective joining its two cases.

• Conjunction introductionNarrower topic: Conjunction introduction applies specifically to the connective ∧.

• Conjunction eliminationNarrower topic: Conjunction elimination operates on a formula built with a connective.

• Sheffer strokeNarrower topic: The Sheffer stroke is one binary connective in this broader family.