Λογική υπολογιστικού δένδρου: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
|||
Γραμμή 8:
A[\phi U \phi]|E[\phi U \phi]</math>
όπου ο <math>p</math> παίρνει τιμές στο
<math>\{\neg, \and, AX, AU, EU\}</math> αποτελούν πλήρες σύνολο συνδέσμων, με τους υπόλοιπους να μπορούν να οριστούν με βάση αυτούς.
|