Temporální logika

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Temporální logika je odvětví logiky, které zkoumá logickou strukturu výroků o čase, s nimiž se klasická výroková nebo predikátová logika nedokáže plnohodnotně vypořádat. Například výrok:

„Od teď bude stále pršet.“

je z hlediska klasické výrokové logiky atomický. To znamená, že výroková logika jej chápe jako dále nedělitelný celek a nezajímá se o jeho vnitřní strukturu. Temporální logika jde hlouběji a v tomto výrok rozlišuje dvě komponenty: takzvaný temporální operátor „od teď bude vždy platit, že“ a samotný výrok pod tímto operátorem „prší“.

V užším významu pojem temporální logika označuje konkrétní logický kalkul studovaný v rámci temporální logiky ve výše uvedeném smyslu. Tak například kalkuly LTL a ITL jsou temporální logiky.

Odkazy[editovat | editovat zdroj]

Poznámky[editovat | editovat zdroj]

V tomto článku byl použit překlad textu z článku Temporálna logika na slovenské Wikipedii.

Externí odkazy[editovat | editovat zdroj]