Tag : Bejelentkezés |Bejegyzés |Feltöltés ismeretek
Keresés
Szigorú feltételes [Módosítás ]
A logikában a szigorú feltételes feltételes egy modális operátor, azaz a modális logika logikai kötődése. Logikusan egyenértékű a klasszikus logika anyagi feltételeivel, kombinálva a modális logika szükségességével. Bármely két p és q állítás esetében a p → q képlet azt mondja, hogy p lényegében q miközben
  \ Box (p \ jobboldali q)}
  
 azt mondja, hogy p szigorúan azt jelenti, q. A szigorú feltételek a Clarence Irving Lewis azon törekvésének eredménye, hogy feltételes feltételeket talál a logika számára, amely megfelelően jelezheti a jelzõ feltételeket a természetes nyelven. A Molinista teológia tanulmányozására is használták őket.
[Logika][Logikai igazság][Javaslat][Logikai következmény][Molinism]
1.A paradoxonok elkerülése
2.Problémák
[Feltöltése Több Tartalom ]


Szerzői jog @2018 Lxjkh