Tarjetas de memoria: Introduction à la logique mathématique et ses principes — 10 tarjetas

Qu'est-ce qu'une proposition en logique mathématique ?

Une proposition est une déclaration qui peut être vraie ou fausse, mais pas les deux en même temps.

Proposition — définition?

Déclaration vraie ou fausse, mais pas les deux.

Que permet la table de vérité dans l'analyse d'une formule logistique ?

La table de vérité permet d'évaluer la valeur de vérité d'une formule selon celles de ses composants, afin d'analyser sa validité.

Connecteurs logiques — exemples?

Négation, conjonction, disjonction, implication, équivalence.

Quelle est la fonction des quantificateurs en logique du premier ordre ?

Les quantificateurs, universel ( ∀ ) et existentiel ( ∃ ), permettent d'étendre la logique aux propositions concernant plusieurs éléments, en exprimant respectivement que la propriété est vraie pour tous ou pour au moins un élément.

Table de vérité — rôle?

Évalue la validité d'une formule selon ses composants.

Loi de De Morgan — formule?

Négation de conjonction/disjonction en termes opposés.

Quantificateur universel — symbole?

$orall$; vrai pour tous $x$ dans domaine.

Quantificateur existentiel — symbole?

$ e$; vrai pour au moins un $x$.

Logique modale — notions clés?

Nécessité ($ox$) et possibilité ($igdiamond$).