< Prädikatenlogik < Existenzeinführung im Antezedens < Korrektheit
Die Existenzeinführung im Antezedens ist eine korrekte Regel.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.