Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 14-01-2026 15:57:47

germain32
Membre
Inscription : 04-01-2026
Messages : 21

Symbole de logique

Bonjour,
il y a un symbole dont je ne connais pas la signification:
2 barres verticales suivies (collé) d'une barre horizontale.
Si quelqu'un peut m'éclairer...
Merci beaucoup

Hors ligne

#2 14-01-2026 16:42:04

DeGeer
Membre
Inscription : 28-09-2023
Messages : 217

Re : Symbole de logique

Bonjour
A priori, il s'agit de la relation de forcing.

Hors ligne

#3 14-01-2026 17:24:34

germain32
Membre
Inscription : 04-01-2026
Messages : 21

Re : Symbole de logique

Ah ok merci DeGeer

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
trente plus quarantequatre
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums