Logica modale: differenze tra le versioni

Versione delle 13:13, 6 dic 2020

Versione delle 19:40, 23 apr 2021

Riga 17:

:<math>\Box p \rightarrow p</math>, che è poi l'assioma T di cui si parla nel seguito. La definizione non è valida per le modalità deontiche. Infatti, per l'operatore di necessità, abbiamo due assiomi (vedi sotto), T (più diffuso nei sistemi modali) e D, in cui: la necessità implica la realtà, oppure la sola possibilità di un predicato.

Per l'altro operatore di possibilità, A. Tarski definisce possibile tutto ciò che non è auto-contradditoriocontraddittorio, cioè: per cui vale la legge di non-contraddizione e del terzo escluso, in simboli:

:<math>\Diamond p = \lnot p \rightarrow p.</math>