Diferència entre les revisions de "Llògica modal"
Pàgina nova, en el contingut: «La llògica modal és un sistema formal que intenta capturar el comportament deductiu d'algun grup d'operadors modals. Els operadors modals són expressions...» |
Sense resum d'edició |
||
| (No es mostren 3 edicions intermiges d'3 usuaris) | |||
| Llínea 1: | Llínea 1: | ||
La llògica modal és un [[sistema formal]] que intenta capturar el comportament deductiu d'algun grup d'operadors modals. Els operadors modals són expressions que qualifiquen la veritat dels | La llògica modal és un [[sistema formal]] que intenta capturar el comportament deductiu d'algun grup d'operadors modals. Els operadors modals són expressions que qualifiquen la veritat dels juís. Per eixemple, en l'oració "és necessari que 2+2 = 4", l'expressió "és necessari que "és un operador modal que qualifica de '' necessària '' a la veritat del juí" 2+2 = 4 ". | ||
[[Categoria:Sistemes llògics]] | [[Categoria:Sistemes llògics]] | ||