Diferència entre les revisions de "Llògica modal"
Anar a la navegació
Anar a la busca
(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...») |
|||
| (No es mostren 2 edicions intermiges d'2 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]] | ||
Última revisió del 17:44 10 set 2024
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 ".