Home
Explore
Exams
Search for anything
Login
Get started
Home
Social Studies
Logic
Logique - Synthèse
4.0
(1)
Rate it
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Card Sorting
1/22
Earn XP
Description and Tags
Synthèses sur quelques notions de logique
Logic
Add tags
Study Analytics
All
Learn
Practice Test
Matching
Spaced Repetition
Name
Mastery
Learn
Test
Matching
Spaced
No study sessions yet.
23 Terms
View all (23)
Star these 23
1
New cards
¬
négation(non)
2
New cards
∨
disjonction (ou)
3
New cards
∧
conjonction(et)
4
New cards
⇒
implication (si...alors...)
5
New cards
⇔
équivalence (...si et seulement si ...)
6
New cards
Tautologie
Une formule toujours vraie
7
New cards
L'équivalence entre formules
Ф1 ⇔ Ф2 \=\> une tautologie
8
New cards
∀
pour tout
9
New cards
∃
il existe
10
New cards
La contraposée de P⇒Q
¬Q ⇒ ¬P
11
New cards
La réciproque de P⇒Q
Q ⇒ P
12
New cards
Prouver que la formule Ф est fausse
Prouver que ¬Q est vrai
13
New cards
Preuve par induction de P(x)
Case de base P(0)
Cas général: P(n) = P(n+1)
14
New cards
Un ensemble
Une connection d'objet appelés éléments
15
New cards
Un ensemble en extension
Les éléments distingués explicitement. Ex: {a,b}
16
New cards
Un ensemble en compréhension
formules qui décrit exactement les éléments de l'ensemble. Ex: {x | P(x)}
17
New cards
f: A → B, f est injective
∀ a1,a2 € A; f(a1)\=f(a2) ⇒ a1\=a2
18
New cards
f: A → B, f est surjective
∀ b € B, ∃ a € A f(a)\= b
19
New cards
Surjective
20
New cards
Injective
21
New cards
¬(P⇒Q)
P ∧ ¬Q
22
New cards
√(x)\=y
(y²\= x ∧ y ≥ 0 )
23
New cards
F est croissante
∀a,b ∈ Dom f, a≤b →f(a)≤f(b)
Explore top notes
AP PSYCH- Confusing Pairs
Updated 1053d ago
Note
Preview
IB Biology - Human Physiology
Updated 279d ago
Note
Preview
week 14
Updated 117d ago
Note
Preview
Chapter 20: Relative Pronouns
Updated 660d ago
Note
Preview
Recht 1
Updated 78d ago
Note
Preview
Animal Kingdom - Chordata
Updated 541d ago
Note
Preview
Cardiac Muscle Tissue Anatomy & Physiology Review Lecture
Updated 43d ago
Note
Preview
endo final
Updated 477d ago
Note
Preview
Explore top flashcards
Pharm E2 Derm
Updated 177d ago
Flashcards (86)
Preview
中文四 vocab
Updated 4d ago
Flashcards (134)
Preview
the great depression vocab
Updated 107d ago
Flashcards (29)
Preview
Med Term Final Exam Review
Updated 46d ago
Flashcards (50)
Preview
2.2 Water
Updated 749d ago
Flashcards (34)
Preview
Junior 22-23; Honors US History CHPT 14: Moving West
Updated 850d ago
Flashcards (124)
Preview
Science Test
Updated 111d ago
Flashcards (74)
Preview
Occupational Health: CHAPT 1-4
Updated 200d ago
Flashcards (111)
Preview