Tractatus Logico-Philosophicus (Ogden)
5.5321
Instead of “(x) : fx ⊃ x = a” we therefore write e.g. “(∃x) . fx . ⊃ . fa : \~(∃x, y) . fx . fy”. And the proposition “only one x satisfies f( )” reads: “(∃x) . fx : \~(∃x, y) . fx . fy”.
Noch keine KI-Analyse zu diesem Abschnitt.
Nur angemeldete Nutzer:innen können neue KI-Analysen anfordern. Anmelden