Tractatus Logico-Philosophicus
5.5321
Statt „(x) : fx ⊃ x = a“ schreiben wir also z. B. „(∃x) . fx. ⊃ .fa : ∼(∃x, y) . fx . fy“.
Und der Satz „nur Ein x befriedigt f ()“ lautet: „(∃x) . fx : ∼(∃x, y) . fx . fy“.
Noch keine KI-Analyse zu diesem Abschnitt.
Nur angemeldete Nutzer:innen können neue KI-Analysen anfordern. Anmelden