< Modallogik < Euklidisches Axiom
Euklidisches Axiom
Das
modallogische Axiomenschema
◊
α
→
◻
◊
α
{\displaystyle \Diamond \alpha \rightarrow \Box \Diamond \alpha }
nennt man
euklidisches Axiom
(oder Axiom
5
{\displaystyle {}5}
).
This article is issued from
Wikiversity
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.
