| Front | (Also statt des Russellschen „(∃x,y).f(x,y)“: „(∃x,y).f(x,y).∨.(∃x).f(x,x)“.) |
|---|---|
| Back | (Therefore instead of Russell’s “(∃x,y).f(x,y)”: “(∃x,y).f(x,y).∨.(∃x).f(x,x)”.) |
Learn with these flashcards. Click next, previous, or up to navigate to more flashcards for this subject.
Next card: Statt x):fx⊃x=a schreiben wir z. b ∃x).fx.⊃.fa:~(∃x,y).fx.fy write e.g. “(∃x).fx.⊃.fa:~(∃x,y).fx.fy
Previous card: Und nicht sondern analog ∃x,y).f(x,y).x=y ∃x).f(x,x ∃x,y).f(x,y).~x=y ∃x,y).f(x,y
Up to card list: Wittgenstein's Tractatus (German-English)