Logica modale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
→Definizione degli operatori: Corretto probabile mancanza del secondo simbolo di negazione Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 18:
Per l'altro operatore di possibilità, [[Alfred Tarski]] definisce possibile tutto ciò che non è auto-contraddittorio, cioè: per cui vale la legge di non-contraddizione e del terzo escluso, in simboli:
:<math>\Diamond p = \lnot \lnot p \rightarrow p.</math>
Vale sempre la modalità ''ab esse ad posse'', secondo cui la realtà di un predicato implica sempre la sua possibilità:<br/>
| |||