device-60.home 2025-9-10:21:40:47

2025-09-10 21:40:47 +02:00
parent cedd7690da
commit e02c588f46
2 changed files with 12 additions and 7 deletions
--- a/formels.md
+++ b/formels.md
@@ -1,11 +1,10 @@
 ---
 aliases:
  - langage formel
+up: "[[langages]]"
+tags:
+  - "#s/maths/logique"
 ---
-up::[[langages]]
-#s/maths/logique
-
----

 > [!definition] Langage formel
 > Soit $V$ [[vocabulaire]] (ensemble fini de symboles) donné