Logique - Synthèse

studied byStudied by 4 people
4.0(1)
learn
LearnA personalized and smart learning plan
exam
Practice TestTake a test on your terms and definitions
spaced repetition
Spaced RepetitionScientifically backed study method
heart puzzle
Matching GameHow quick can you match all your cards?
flashcards
FlashcardsStudy terms and definitions

1 / 22

flashcard set

Earn XP

Description and Tags

Synthèses sur quelques notions de logique

Logic

23 Terms

1
¬
négation(non)
New cards
2

disjonction (ou)
New cards
3

conjonction(et)
New cards
4

implication (si...alors...)
New cards
5

équivalence (...si et seulement si ...)
New cards
6
Tautologie
Une formule toujours vraie
New cards
7
L'équivalence entre formules
Ф1 ⇔ Ф2 \=\> une tautologie
New cards
8

pour tout
New cards
9

il existe
New cards
10
La contraposée de P⇒Q
¬Q ⇒ ¬P
New cards
11
La réciproque de P⇒Q
Q ⇒ P
New cards
12
Prouver que la formule Ф est fausse
Prouver que ¬Q est vrai
New cards
13
Preuve par induction de P(x)
Case de base P(0)

Cas général: P(n) = P(n+1)
New cards
14
Un ensemble
Une connection d'objet appelés éléments
New cards
15
Un ensemble en extension
Les éléments distingués explicitement. Ex: {a,b}
New cards
16
Un ensemble en compréhension
formules qui décrit exactement les éléments de l'ensemble. Ex: {x | P(x)}
New cards
17
f: A → B, f est injective
∀ a1,a2 € A; f(a1)\=f(a2) ⇒ a1\=a2
New cards
18
f: A → B, f est surjective
∀ b € B, ∃ a € A f(a)\= b
New cards
19
Surjective
knowt flashcard image
New cards
20
Injective
knowt flashcard image
New cards
21
¬(P⇒Q)
P ∧ ¬Q
New cards
22
√(x)\=y
(y²\= x ∧ y ≥ 0 )
New cards
23
F est croissante
∀a,b ∈ Dom f, a≤b →f(a)≤f(b)
New cards
robot