Λογική υπολογιστικού δένδρου: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 25:
== Τελεστές ==
[[Αρχείο:CTL_model.png|thumb|200px|Ένα μοντέλο της λογικής υπολογιστικού δένδρου]]
=== Λογικοί τελεστές ===
Οι λογικοί τελεστές είναι οι συνήθεις: <math>\neg,\or,\and,\Rightarrow</math> και <math>\Leftrightarrow</math>. Οι τύποι της CTL μπορούν επιπλέον να χρησιμοποιούν με αυτούς τις λογικές σταθερές true (αληθές) και false (ψευδές).
|