Please enable JavaScript.
Coggle requires JavaScript to display documents.
mat115-1, CONNECTEURS - Coggle Diagram
mat115-1
logique propositionnelle
Utilise les operandes élementaires
¬ Négation
^ conjonction (et)
v disjonction (ou inclusif)
disjonction exclusive (ou exclusif)
-> l'implication (si)
<-> l'équivalence (égalité)
Ordre de priorité des opérations
<- l'implication inverse
Table de vérité
Notation avec indentation
Écriture des équations avec indentation de l'exterieur vers l'intérieur ( de la plus petite priorité vers la plus grande priorité. et grouper les operantes et leur variable par indentation
Logique utilisé dans les mathématiques
Logique élementaire
Logique de premier ordre
deux symbole de plus
QUANTIFICATEURS
Pour TOUT
Pour tout x, la formule est vraie
Il EXISTE
Il existe au moins une valeur de X
CONNECTEURS