Mümkün Dünyalar ile Gerçek Dünya

Matematik Aritmetik Önemli

Özet

Mümkün dünyalar mantıksal olasılıklar İLE gerçek dünya fiili durumdur. Kripke semantiği mümkün dünyalar çerçevesinde İLE modal mantık ifadelerini değerlendirir. Zorunluluk tüm mümkün dünyalarda doğruluk.