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...») |
(Sense diferències)
|
Revisió de 11:01 12 jul 2015
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 jues. Per eixemple, en l'oració "és necessari que 2+2 = 4", l'expressió "és necessari que "és un operador modal que qualifica d ' necessària a la veritat del juí" 2+2 = 4 ".