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)