Front | Statt „(x):fx⊃x=a“ schreiben wir also z. B. „(∃x).fx.⊃.fa:~(∃x,y).fx.fy“. |
---|---|
Back | Instead of “(x):fx⊃x=a” we therefore write e.g. “(∃x).fx.⊃.fa:~(∃x,y).fx.fy”. |
Learn with these flashcards. Click next, previous, or up to navigate to more flashcards for this subject.
Previous card: Statt des russellschen ∃x,y).f(x,y ∃x,y).f(x,y).∨.(∃x).f(x,x russell’s
Up to card list: Wittgenstein's Tractatus (German-English)