master > master: protocoll woche12

This commit is contained in:
RD 2021-06-30 13:08:28 +02:00
parent 07b0931e97
commit 00c4d85bd9
1 changed files with 25 additions and 7 deletions

View File

@ -2,14 +2,32 @@
## Agenda ## ## Agenda ##
- [ ] 25 min Organisatorisches - [x] 25 min Organisatorisches
- [ ] Serie 5, Seminaraufgaben besprechen - [x] Serie 5, Seminaraufgaben besprechen
- [ ] SemA 5.1 - [x] SemA 5.1
- [ ] SemA 5.2 - [x] SemA 5.2
- [ ] SemA 5.3 - [x] SemA 5.3
- [ ] SemA 5.4 - [x] SemA 5.4
- ~~[ ] (Zusatz) SemA 5.5~~ ---> siehe Aufzeichnung - ~~[ ] (Zusatz) SemA 5.5~~ ---> siehe Aufzeichnung
- [ ] restliche Zeit für allg. Fragen - [x] restliche Zeit für allg. Fragen
- Alternativer Beweis von (d) durch Argument:
```
»Sonst wären F und F^skol sem. äquivalent,
aber das ist nicht i. A. der Fall.«
```
Da wir aber uns aber auf einer Instanz beschränken,
passt dieser Ansatz nicht.
Wir müssen im Einzelfall prüfen.
Vgl. Unterschied zw.
```
1. Es ist nicht so, dass (F ≡ F^skol) für alle F
```
und
```
2. Für alle F, es ist nicht so dass (F ≡ F^skol).
```
Wir haben nur 1 und damit kann es durchaus sein,
dass für einzelne Fälle F, F^skol schon sem. äqv. sind.
## Nächste Woche ## ## Nächste Woche ##