Expressions avec logique

• Axiome logique,

  axiome du calcul propositionnel ou du calcul des prédicats avec égalité, par opposition aux axiomes spécifiques d'une théorie mathématique particulière, dits axiomes non logiques ou axiomes propres de cette théorie.

• Lois logiques,

  ensemble des formules représentant un enchaînement de propositions dans un discours vrai en tout état de cause, c'est-à-dire indépendamment de la vérité ou de la fausseté des propositions qui y figurent.

• Symbole logique,

  connecteur propositionnel, quantificateur existentiel ∃ ou universel ∀, ou symbole d'égalité =, par opposition aux symboles non logiques, particuliers à une théorie mathématique donnée (exemple : le symbole ∈ d'appartenance est un symbole non logique).