Linked from

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

• First-order logicRelated: Connectives build complex statements from atomic formulas and simpler formulas.

• Predicate logicRelated: Connectives combine quantified statements into more complex predicate-logic formulas.

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

• Propositional logicBroader topic: Connectives build formulas whose truth depends on their component propositions.

• 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.

• Truth valueRelated: Connectives determine how compound propositions inherit truth values from their parts.

• Logical equivalenceBroader topic: Connective truth conditions generate the formulas whose equivalence is tested.

• Existential quantificationRelated: Connectives combine existential claims with other formulas.

• Stoic logicRelated: Connectives determine how Stoic compound propositions relate their component statements.

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

• Many-valued logicRelated: Each many-valued logic defines how connectives act on its truth values.

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

• Logical formRelated: Connectives encode recurring ways propositions combine in logical form.

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

• Prenex normal formRelated: Connectives remain in the matrix after quantifiers are gathered at the front.

• Symbolic logicRelated: Connectives form compound expressions and determine how their truth depends on parts.

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

• Atomic formulaCompared with: Connectives distinguish compound formulas from atomic formulas.

• 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.