Apedia

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

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.

Next card: Und der satz nur ein x befriedigt f(  lautet ∃x).fx.⊃.fa:~(∃x,y).fx.fy proposition only one x satisfies f( 

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)