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).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » Symbole de logique
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- germain32
- 14-01-2026 17:24:34
Ah ok merci DeGeer
- DeGeer
- 14-01-2026 16:42:04
Bonjour
A priori, il s'agit de la relation de forcing.
- germain32
- 14-01-2026 15:57:47
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







