Modallogik/Paradoxe Aussage/Definition

Paradox (Modallogik)

Eine modallogische Aussage ${}\alpha$ heißt paradox, wenn sie, wenn man darin alle ${}\Box$ und alle ${}\Diamond$ ersatzlos streicht, einen aussagenlogischen Widerspruch ergibt.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.