oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

eduroam-prg-og-1-30-122.net.univ-paris-diderot.fr 2026-1-21:11:44:52

Browse Source
This commit is contained in:
oskar
2026-01-21 11:44:52 +01:00
parent ec509f7890
commit 8a1b8c475f
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
syntax, semantics, discourse 2.md
View File

@@ -42,4 +42,10 @@ language meaning need to satisfy a constraint much more concrete than [[composit
- Every / each $\mapsto$ $\forall x$ - Every / each $\mapsto$ $\forall x$
- $\vdots$ - $\vdots$
- = A famous supervisor directs every student here. - = A famous supervisor directs every student here.
- $\exists x (\operatorname{fam-sup}()$ - there are two interpretations :
- $\exists x (\operatorname{fam-sup}'(x) \wedge \forall y (\operatorname{student}(y) \to \operatorname{Direct}(x, y)))$
- $\forall y (\operatorname{student}(y) \to \exists x(\operatorname{fam-sup}'(x) \wedge \operatorname{Direct}(x, y))$
- = no player injured herself
- $\forall x (\operatorname{player}(x) \to \neg \operatorname{Injure}(x, x)$
- $\neg \exists x (\operatorname{player}(x) \wedge \operatorname{Injure}(x, x))$
-