josia-notes/w23-logic-2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

exam
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m19s
Details

Browse source
This commit is contained in:
Josia Pietsch 2024-02-01 17:56:53 +01:00
parent 326cca0e54
commit 3faf497be7
Signed by: josia
GPG key ID: E70B571D66986A2D
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
inputs/lecture_19.tex
View file

@ -1,5 +1,8 @@
\lecture{19}{2024-01-11}{Forcing}
Beginning with this lecture,
the material is no longer relevant for the exam.
Recall that $\exists x \in y.~ \phi$ abbreviates
$\exists x.~ x \in y \land \phi$
and $\forall x \in y.~\phi$ abbreviates $\forall x.~x \in y \to \phi$.