Γραμμική χρονική λογική: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Μεταφέρω 4 σύνδεσμους interwiki, που τώρα παρέχονται από τα Wikidata στο d:Q1536492 |
μ Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap) |
||
Γραμμή 5:
== Σύνταξη ==
Η LTL αποτελείται από ένα σύνολο από προτασιακές μεταβλητές <math>p_1, p_2, \dots</math>, τους γνωστούς λογικούς συνδέσμους <math>\neg,\
*'''X''' για το "επόμενο" (ή '''N''')
Γραμμή 65:
== Ισοδυναμίες ==
<math>X ( \phi \
<math>X ( \phi \
<math>X \neg \phi \equiv \neg X \phi</math>
Γραμμή 73:
<math>X ( \phi U \psi ) \equiv ( X \phi ) U ( X \psi )</math>
<math>F ( \phi \
<math>\neg F \phi \equiv G \neg \phi</math>
<math>G ( \phi \
<math>\neg G \phi \equiv F \neg \phi</math>
<math>( \phi \
<math>\rho U ( \phi \
<math>F \phi \equiv F F \phi</math>
Γραμμή 91:
<math>\phi U \psi \equiv \phi U ( \phi U \psi )</math>
<math>F \phi \equiv \phi \
<math>G \phi \equiv \phi \
<math>\phi U \psi \equiv \psi \
<math>\phi W \psi \equiv \psi \
<math>\phi R \psi \equiv ( \phi \
== Ειδικοί σύνδεσμοι==
|