Formule — composition ?
Variables et connecteurs logiques.
Proposition — définition?
Énoncé déclaratif vrai ou faux.
Négation quantificateurs — règle 2 ?
¬(∃ x : p(x)) ≡ ∀ x : ¬p(x).
Prédicat — définition?
Proposition dépendant d’un paramètre.
Disjonction exclusive — condition vraie ?
Une seule entre p et q est vraie.
Connecteurs fondamentaux — quels?
¬, ∧, ∨.
Quantificateurs — types ?
∀ (universel), ∃ (existe), ∃ ! (exactement un).
Implication — formules?
p ⇒ q ≡ ¬p ∨ q.
Négation d’implication — formule ?
¬(p ⇒ q) ≡ p ∧ ¬q.
Contraposée — définition?
p ⇒ q ≡ ¬q ⇒ ¬p.
Table de vérité — pour n variables ?
2^n combinaisons.
Quantificateurs — quels?
∀ (universel), ∃ (existe).
Logique des prédicats — selon quoi formaliser ?
Propriétés et propriétés quantifiées.
Tautologie — exemple?
p ∨ ¬p.
Valable en logique — tautologie ou contradiction ?
Tautologie (toujours vraie).
Disjonction exclusive — fonction ?
Vrai si p ou q, pas les deux.
Implication — symbole ?
⇒.
Implication — formule ?
p ⇒ q ≡ ¬p ∨ q.
Équivalence — symbole ?
⇔.
Négation — symbole ?
¬.
Tautologie — définition ?
Formule toujours vraie.
Prédicat — rôle ?
Proposition dépendant d’un paramètre.
Équivalence — symbole ?
p ⇔ q.
Négation quantificateurs — règle 1 ?
¬(∀ x : p(x)) ≡ ∃ x : ¬p(x).
Disjonction exclusive — symbole ?
⊕ (p ⊕ q).
Disjonction — symbole ?
∨.
Connecteurs — lois de De Morgan ?
¬(p ∧ q) ≡ ¬p ∨ ¬q.
Contraposée — formule ?
p ⇒ q ≡ ¬q ⇒ ¬p.
Proposition — définition ?
Énoncé vrai ou faux sans ambiguïté.
Équivalence — définition ?
Même valeur de vérité pour p et q.
Implication — autre formule ?
p ⇒ q ≡ ¬p ∨ q.
Quantificateur — propriété ?
Exprime la véracité sur toute ou une partie d’un domaine.
Connecteurs fondamentaux ?
¬, ∧, ∨ (dérivés : ⇒, ⇔, ⊕).
Testez vos connaissances avec un QCM de 21 questions sur (Chap 1) Introduction à la logique propositionnelle et des prédicats.
1. Quelle est la définition formelle de la contraposée d'une implication p ⇒ q en logique propositionnelle ?
2. Quelle est la définition précise d'une proposition en logique propositionalnelle ?
Révisez le cours complet dans la fiche de révision de (Chap 1) Introduction à la logique propositionnelle et des prédicats.
Voir la fiche →Chimie
SVT
SVT
SVT
Mathématiques
Mathématiques
Importe ton cours et l'IA génère des flashcards en 30 secondes.
Générateur de flashcards