Symbole – termes de base

UNE. signes logiques

Les variables propositionnelles sont désignées par des lettres latines majuscules A, B, C .. . désigné:

A ∧ B sowohl A als auch B

A ∨ B A oder B oder beide

¬A nicht A, négation de A

A → B Implikationsverknüpfung; si A alors B

A↔ B Äquivalenzverknüpfung; si A alors B et vice versa

A ⇒ B Implikationsaussage; de A suit B
A est suffisant pour B
B est nécessaire pour A

A ⇔ B Äquivalenzaussage; A suit B et vice versa
A est nécessaire et suffisant pour B

UNE :⇔ B A ist definitionsgemäß äquivalent B

L, ∀ für alle . . .; Allquantor

V, ∃ es existiert mindestens ein . . .; Existenzquantor

1 existiert genau ein . . .

 

B. Signes et notations mathématiques

1. relations de taille

a = b a ist gleich b

une: = b a ist definitionsgemäß gleich 6

a ≠ b a ist nicht gleich b

a ≈ b a ist ungefähr gleich b

une <b a ist kleiner als b

une > b a ist größer als b

a ≤ b a ist kleiner oder gleich b

a ≥ b a ist größer oder gleich b

a « b a ist sehr klein gegen b

aIb a divise b

2. râteau- et symboles de fonction

Laisser une réponse

Votre adresse email ne sera pas publiée. les champs requis sont indiqués *