Flashcard: Introduction à la logique mathématique — 18 carte

Analyse syntaxique — rôle ?

Identifier la forme d’une expression sans son sens

Analyse sémantique — rôle ?

Attribuer une signification à partir de la structure

Expression symbolique — définition ?

Forme examinée indépendamment du sens

Structure formelle — rôle ?

Organiser les symboles selon des règles précises

Règle de transformation — fonction ?

Passer d’une formule à une autre sans changer le cadre

Opérateur logique — rôle ?

Combiner propositions dans une expression

Équivalence formelle — relation ?

Expressions conservant la même valeur logique

Méthode de preuve — but ?

Valider un énoncé à partir d’axiomes ou définitions

Preuve directe — mécanisme ?

De la base à la conclusion sans détour

Preuve par contradiction — principe ?

Supposer le contraire pour obtenir une impossibilité

Preuve par récurrence — application ?

Énoncés indexés par les entiers

Théorie des ensembles — utilité ?

Regrouper objets en collections

Relation dans la logique — définition ?

Liaison binaire entre objets selon une propriété

Modèle — rôle ?

Domaine d’objets pour évaluer les formules

Interprétation — fonction ?

Fixer le sens des symboles non logiques

Calcul des prédicats — extension ?

Introduit variables et prédicats

Quantificateur universel — sens ?

Vaut pour tous les éléments du domaine

Quantificateur existentiel — sens ?

Vaut pour au moins un élément du domaine