Home
Explore
Exams
Search for anything
Login
Get started
Home
Social Studies
Logic
Logique - Synthèse
4.0
(1)
Rate it
Studied by 5 people
4.0
(1)
Rate it
Call with Kai
Knowt Play
New
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 Modes
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
Remote Sensing
Updated 1014d ago
Note
Preview
El Romanticismo literario en Hispanoamérica
Updated 360d ago
Note
Preview
Aging Part 2
Updated 199d ago
Note
Preview
Microbiomes
Updated 1170d ago
Note
Preview
Cells Control Enzyme Catalysis
Updated 1027d ago
Note
Preview
AP Computer Science A Ultimate Guide
Updated 921d ago
Note
Preview
Carboxylic Acids
Updated 1010d ago
Note
Preview
Kinematic Equations
Updated 12d ago
Note
Preview
Remote Sensing
Updated 1014d ago
Note
Preview
El Romanticismo literario en Hispanoamérica
Updated 360d ago
Note
Preview
Aging Part 2
Updated 199d ago
Note
Preview
Microbiomes
Updated 1170d ago
Note
Preview
Cells Control Enzyme Catalysis
Updated 1027d ago
Note
Preview
AP Computer Science A Ultimate Guide
Updated 921d ago
Note
Preview
Carboxylic Acids
Updated 1010d ago
Note
Preview
Kinematic Equations
Updated 12d ago
Note
Preview
Explore top flashcards
Learning: Classical and Operant Conditioning
Updated 359d ago
Flashcards (32)
Preview
chemie hoofdstuk 1
Updated 486d ago
Flashcards (86)
Preview
Ap classrooms
Updated 640d ago
Flashcards (29)
Preview
La rutina diaria - Español II
Updated 744d ago
Flashcards (57)
Preview
Spanish 2-A Study Guide
Updated 1016d ago
Flashcards (71)
Preview
SHRM Unit 1
Updated 778d ago
Flashcards (24)
Preview
Spanish - Yabla 3/20 and Professions Vocab
Updated 936d ago
Flashcards (61)
Preview
1A.1 - El alfabeto
Updated 45d ago
Flashcards (29)
Preview
Learning: Classical and Operant Conditioning
Updated 359d ago
Flashcards (32)
Preview
chemie hoofdstuk 1
Updated 486d ago
Flashcards (86)
Preview
Ap classrooms
Updated 640d ago
Flashcards (29)
Preview
La rutina diaria - Español II
Updated 744d ago
Flashcards (57)
Preview
Spanish 2-A Study Guide
Updated 1016d ago
Flashcards (71)
Preview
SHRM Unit 1
Updated 778d ago
Flashcards (24)
Preview
Spanish - Yabla 3/20 and Professions Vocab
Updated 936d ago
Flashcards (61)
Preview
1A.1 - El alfabeto
Updated 45d ago
Flashcards (29)
Preview