From b248387c947baf980b34f84efc85413da5416910 Mon Sep 17 00:00:00 2001 From: oskar Date: Wed, 10 Sep 2025 14:28:55 +0200 Subject: [PATCH] MacBook-Pro-de-Oscar.local 2025-9-10:14:28:55 --- M1 LOGOS . logique.md | 4 ++++ antoine chambert-loir.md | 16 ++++++++++++++++ 2 files changed, 20 insertions(+) create mode 100644 antoine chambert-loir.md diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md index 3c9212ba..1fedbf27 100644 --- a/M1 LOGOS . logique.md +++ b/M1 LOGOS . logique.md @@ -4,8 +4,12 @@ up: tags: - s/fac - s/maths/logique +author: + - "[[antoine chambert-loir]]" + - "[[P. Simonetta]]" --- + - ? est-ce que les formules sont non-ambigües ? (une même formule donne toujours lieu à la même interprétation) - p oui, par théorème diff --git a/antoine chambert-loir.md b/antoine chambert-loir.md new file mode 100644 index 00000000..2e7723d2 --- /dev/null +++ b/antoine chambert-loir.md @@ -0,0 +1,16 @@ +--- +up: +tags: + - "#t/personne" +aliases: +link: https://webusers.imj-prg.fr/~antoine.chambert-loir/ +--- + +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +```