Logica temporale lineare: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v1.6.5) |
Corretto: "uguaglianze" |
||
Riga 46:
* <math>\neg X\alpha \iff X \neg \alpha </math>
* <math>\alpha R\beta \iff \neg(\neg \alpha U \neg \beta) </math>
Da queste
== Regole ==
|