From c1dfba0c57ddb8b402ac13edf36b4accf98276e2 Mon Sep 17 00:00:00 2001 From: oskar Date: Sun, 31 May 2026 20:45:59 +0200 Subject: [PATCH] MacBookPro.lan 2026-5-31:20:45:58 --- .obsidian/community-plugins.json | 3 ++- firefox troubleshooot.md | 4 ++-- ...e conséquence d'un ensemble de formules.md | 7 ++++-- homebrew . changing installation settings.md | 7 ++++++ homebrew . clear cache.md | 13 ++++++++++ ...sinstaller.md => homebrew . désinstaller.md | 11 ++++----- homebrew.md | 24 ++++++++++--------- macos system data.md | 10 ++++++++ troubleshoot.md | 15 ++++++++++++ 9 files changed, 72 insertions(+), 22 deletions(-) create mode 100644 homebrew . changing installation settings.md create mode 100644 homebrew . clear cache.md rename homebrew désinstaller.md => homebrew . désinstaller.md (59%) create mode 100644 macos system data.md create mode 100644 troubleshoot.md diff --git a/.obsidian/community-plugins.json b/.obsidian/community-plugins.json index 071a707f..c2acea74 100644 --- a/.obsidian/community-plugins.json +++ b/.obsidian/community-plugins.json @@ -42,5 +42,6 @@ "obsidian-pandoc", "break-page", "obsidian-list-callouts", - "better-export-pdf" + "better-export-pdf", + "math-in-callout" ] \ No newline at end of file diff --git a/firefox troubleshooot.md b/firefox troubleshooot.md index 615d3e37..5e9f9d25 100644 --- a/firefox troubleshooot.md +++ b/firefox troubleshooot.md @@ -2,10 +2,10 @@ id: firefox troubleshooot aliases: [] tags: - - #t/troubleshoot + - up: - "[[firefox]]" - - "[[firefox troubleshooot]]" + - "[[troubleshoot]]" --- ```breadcrumbs diff --git a/formule conséquence d'un ensemble de formules.md b/formule conséquence d'un ensemble de formules.md index a7a023c9..152211fc 100644 --- a/formule conséquence d'un ensemble de formules.md +++ b/formule conséquence d'un ensemble de formules.md @@ -16,11 +16,14 @@ aliases: # Propriétés > [!proposition]+ -> $\mathscr{A} \vdash^{*} G \iff \mathscr{A} \cup \{ G \}$ est [[ensemble de formules contradictoire|contradictoire]] +> $\mathscr{A} \vdash^{*} G \iff \mathscr{A} \cup \{ \neg 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 +> > 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'aucune valuation satisfaisant $\mathscr{A}$ ne peut satisfaire aussi $\neg G$, et donc que $\mathscr{A} \cup \{ \neg G \}$ est contradictoire +> > - $\boxed{\impliedby}$ supposons que $\mathscr{A} \cup \{ \neg G \}$ est contradictoire +> > Alors, on sait que pour toute valuation $\delta$ on a $\exists F \in \mathscr{A} \cup \{ \neg G \},\quad \delta (F) = 0$ +> > - # Exemples diff --git a/homebrew . changing installation settings.md b/homebrew . changing installation settings.md new file mode 100644 index 00000000..e70f4ad1 --- /dev/null +++ b/homebrew . changing installation settings.md @@ -0,0 +1,7 @@ +# Changing installation settings +You can edit settings for a certain app using : +`brew edit ` +That opens a configuration file that controls taht installation settings. + +Then, you can recompile that app using : +`brew reinstall --build-from-source ` \ No newline at end of file diff --git a/homebrew . clear cache.md b/homebrew . clear cache.md new file mode 100644 index 00000000..25af727d --- /dev/null +++ b/homebrew . clear cache.md @@ -0,0 +1,13 @@ +--- +up: + - "[[homebrew]]" +tags: + - "#s/informatique" +aliases: + - clear homebrew cache +--- + +```sh +homebrew cleanup --prune=all +``` + diff --git a/homebrew désinstaller.md b/homebrew . désinstaller.md similarity index 59% rename from homebrew désinstaller.md rename to homebrew . désinstaller.md index 3d4dccdf..ff978ca6 100644 --- a/homebrew désinstaller.md +++ b/homebrew . désinstaller.md @@ -1,10 +1,9 @@ --- -alias: [ "homebrew désinstaller avec les dépendances" ] ---- -up:: [[homebrew]] -title:: "`brew uninstall && brew autoremove`" -#s/informatique - +up: "[[homebrew]]" +tags: + - "#s/informatique" +aliases: + - homebrew désinstaller avec les dépendances --- Pour désinstaller un package diff --git a/homebrew.md b/homebrew.md index 0ded4f8b..60bfb83f 100644 --- a/homebrew.md +++ b/homebrew.md @@ -1,13 +1,15 @@ -up::[[installing things]] -title::"macos package manager" -#s/informatique +--- +up: "[[installing things]]" +tags: + - "#s/informatique" +--- ----- +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: true +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` -# Changing installation settings -You can edit settings for a certain app using : -`brew edit ` -That opens a configuration file that controls taht installation settings. - -Then, you can recompile that app using : -`brew reinstall --build-from-source ` diff --git a/macos system data.md b/macos system data.md new file mode 100644 index 00000000..843c7fe0 --- /dev/null +++ b/macos system data.md @@ -0,0 +1,10 @@ +--- +up: + - "[[troubleshoot]]" + - "[[macos]]" +tags: + - "#s/informatique" +aliases: +--- + +problème : beaucoup de place perdue dans "system data" \ No newline at end of file diff --git a/troubleshoot.md b/troubleshoot.md new file mode 100644 index 00000000..0df367eb --- /dev/null +++ b/troubleshoot.md @@ -0,0 +1,15 @@ +--- +up: +tags: +aliases: +--- + +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: true +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` +