Apedia

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

Front Und analog: Nicht „(∃x,y).f(x,y).x=y“, sondern „(∃x).f(x,x)“; und nicht „(∃x,y).f(x,y).~x=y“, sondern „(∃x,y).f(x,y)“.
Back And analogously: not “(∃x,y).f(x,y). x=y”, but “(∃x).f(x,x)”; and not “(∃x,y).f(x,y).~x=y”, but “(∃x,y).f(x,y)”.

Learn with these flashcards. Click next, previous, or up to navigate to more flashcards for this subject.

Next card: Statt des russellschen ∃x,y).f(x,y ∃x,y).f(x,y).∨.(∃x).f(x,x russell’s

Previous card: Nicht sondern ich schreibe f(a,b).a=b f(a,a oder f(b,b

Up to card list: Wittgenstein's Tractatus (German-English)