From 2608232f5b486f5001e9bc7c1f5caf35d6c645e5 Mon Sep 17 00:00:00 2001 From: oskar Date: Sun, 31 May 2026 19:45:55 +0200 Subject: [PATCH] MacBookPro.lan 2026-5-31:19:45:55 --- .obsidian/plugins/breadcrumbs/data.json | 4 +-- calcul propositionnel.md | 16 ++++++++++++ ensemble de formules contradictoire.md | 10 +++++++ ensemble de formules satisfaisable.md | 1 + ensemble de formules satisfait.md | 1 + ...les de formules logiquement équivalents.md | 12 +++++++++ ...e conséquence d'un ensemble de formules.md | 26 +++++++++++++++++++ index.md | 2 +- projets persos.md | 12 +++++++++ sources/clippings/OV Klok.md | 16 ++++++++++++ théorie des modèles.md | 3 +++ 11 files changed, 100 insertions(+), 3 deletions(-) create mode 100644 calcul propositionnel.md create mode 100644 ensembles de formules logiquement équivalents.md create mode 100644 formule conséquence d'un ensemble de formules.md create mode 100644 projets persos.md create mode 100644 sources/clippings/OV Klok.md diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index a55be24e..e9bbce0c 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -245,7 +245,7 @@ "prevs" ], "lock_view": false, - "lock_path": "ensemble de formules contradictoire.md", + "lock_path": "formule conséquence d'un ensemble de formules.md", "custom_sort_fields": false, "custom_sort_field_labels": [] }, @@ -254,7 +254,7 @@ "show_attributes": [], "merge_fields": false, "lock_view": false, - "lock_path": "ensemble de formules contradictoire.md", + "lock_path": "formule conséquence d'un ensemble de formules.md", "field_group_labels": [ "downs" ], diff --git a/calcul propositionnel.md b/calcul propositionnel.md new file mode 100644 index 00000000..7ef8d817 --- /dev/null +++ b/calcul propositionnel.md @@ -0,0 +1,16 @@ +--- +up: + - "[[logique]]" +tags: + - s/maths/logique +aliases: +--- + +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: true +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` \ No newline at end of file diff --git a/ensemble de formules contradictoire.md b/ensemble de formules contradictoire.md index 4a09d598..e0be2e2a 100644 --- a/ensemble de formules contradictoire.md +++ b/ensemble de formules contradictoire.md @@ -5,4 +5,14 @@ tags: - s/maths/logique - o aliases: + - contradictoire --- + +> [!definition] [[ensemble de formules contradictoire]] +> Un ensemble de formules $\mathscr{A}$ est **contradictoire** si et seulement si il n'est pas [[ensemble de formules satisfaisable|satisfaisable]] +^definition + +# Propriétés + +# Exemples + diff --git a/ensemble de formules satisfaisable.md b/ensemble de formules satisfaisable.md index 6e61b315..245031e8 100644 --- a/ensemble de formules satisfaisable.md +++ b/ensemble de formules satisfaisable.md @@ -4,6 +4,7 @@ up: tags: - s/maths/logique aliases: + - satisfaisable --- > [!definition] Définition diff --git a/ensemble de formules satisfait.md b/ensemble de formules satisfait.md index b394805f..ec8d06a9 100644 --- a/ensemble de formules satisfait.md +++ b/ensemble de formules satisfait.md @@ -4,6 +4,7 @@ up: tags: - s/maths/logique aliases: + - satisfait --- > [!definition] [[ensemble de formules satisfait]] diff --git a/ensembles de formules logiquement équivalents.md b/ensembles de formules logiquement équivalents.md new file mode 100644 index 00000000..405c61a7 --- /dev/null +++ b/ensembles de formules logiquement équivalents.md @@ -0,0 +1,12 @@ +--- +up: + - "[[calcul propositionnel]]" +tags: + - s/maths/logique +aliases: + - équivalents +--- + +> [!definition] [[ensembles de formules logiquement équivalents]] +> Deux ensembles de formules $\mathscr{A}$ et $\mathscr{B}$ sont **équivalents** si et seulement si toute formule de $\mathscr{A}$ est conséquence de $\mathscr{B}$ +^definition diff --git a/formule conséquence d'un ensemble de formules.md b/formule conséquence d'un ensemble de formules.md new file mode 100644 index 00000000..a7a023c9 --- /dev/null +++ b/formule conséquence d'un ensemble de formules.md @@ -0,0 +1,26 @@ +--- +up: + - "[[calcul propositionnel]]" +tags: + - s/maths/logique +aliases: + - conséquence + - ⊢* +--- + +> [!definition] [[formule conséquence d'un ensemble de formules]] +> Soit $\mathscr{A}$ un ensembles de formules et $G$ une formule du [[calcul propositionnel]] +> $G$ est **conséquence** de $\mathscr{A}$ si et seulement si toute distribution de valeurs de vérité qui satisfait $\mathscr{A}$ +^definition + +# Propriétés + +> [!proposition]+ +> $\mathscr{A} \vdash^{*} G \iff \mathscr{A} \cup \{ G \}$ est [[ensemble de formules contradictoire|contradictoire]] +> > [!démonstration]- Démonstration +> > - $\boxed{\implies}$ supposons que $\mathscr{A} \vdash^{*} G$ +> > Soit $\delta$ une [[valuation]] qui [[ensemble de formules satisfait|satisfait]] $\mathscr{A}$, i.e. $\forall F \in \mathscr{A},\quad \delta(F) = 1$ +> > Puisque l'on a supposé $\mathscr{A} \vdash^{*} G$ sait que $\delta(G)=1$, et donc que $\delta(\neg G) = 0$, ce qui montre bien qu'un + +# Exemples + diff --git a/index.md b/index.md index 22ed426f..76ca8ce2 100644 --- a/index.md +++ b/index.md @@ -11,5 +11,5 @@ tags: [] > collapse: true > show-attributes: [field] > field-groups: [downs] -> depth: [0, 0] +> depth: [0, 2] > ``` diff --git a/projets persos.md b/projets persos.md new file mode 100644 index 00000000..dd48e1db --- /dev/null +++ b/projets persos.md @@ -0,0 +1,12 @@ +--- +up: +tags: +aliases: +--- + +> [!todo] Projets non-commencés +> ```dataview +> LIST title +> FROM "" +> WHERE econtains(up, this.file.link) +> ``` diff --git a/sources/clippings/OV Klok.md b/sources/clippings/OV Klok.md new file mode 100644 index 00000000..a59a687f --- /dev/null +++ b/sources/clippings/OV Klok.md @@ -0,0 +1,16 @@ +--- +link: "https://jplattel.nl/project/ov-klok/" +author: +published: 2024-02-14 +created: 2026-05-31 +description: "I’m Joost Plattel, I'd like to call myself an auxiliary technologist. I assist organisations and individuals with technology and help them future strategies." +tags: + - "t/clippings" +--- +The [OV Klok](https://ovklok.nl/) is a small hardware project that show the time left before the next departure of public transport you use. It’s made with and ESP32 module and 7 segment digit display. + +![](https://jplattel.nl/img/ovklok.jpeg) + +You can [order one](https://shop.ovklok.nl/) if you live in the Netherlands and use public transport a lot from a specific location. The enclosure is made by pressure-forming plastic in the [Mayku Multiplier](https://mayku.me/multiplier) and a 3D print allowing for different methods of mounting and freestanding use. + +The ESP32 runs on Circuit Python and is fully configurable with a USB-C cable through the browser with the use of WebSerial. This skips troublesome setups like captive portals or file editing. It’s a simple and calm device allowing you to catch your public transport right on time! \ No newline at end of file diff --git a/théorie des modèles.md b/théorie des modèles.md index 16f1d89e..15a9a0d8 100644 --- a/théorie des modèles.md +++ b/théorie des modèles.md @@ -1,8 +1,11 @@ --- up: + - "[[logique]]" tags: + - s/maths/logique/modèles aliases: --- + ```breadcrumbs title: "Sous-notes" type: tree