< Prädikatenlogik < Genau 4 Elemente < Formalisiere
Erstelle einen prädikatenlogischen Ausdruck , der in einer Struktur genau dann gilt, wenn die Grundmenge der Struktur genau Elemente besitzt.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.