Modallogik/Paradoxe Aussage/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Paradox (Modallogik)

Eine modallogische Aussage heißt paradox, wenn sie, wenn man darin alle und alle ersatzlos streicht, einen aussagenlogischen Widerspruch ergibt.