Modallogik/Paradoxe Aussage/Definition

Aus Wikiversity

Zur Navigation springen Zur Suche springen

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.

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Modallogik/Paradoxe_Aussage/Definition&oldid=836602“