38 974
edicions
Canvis
Anar a la navegació
Anar a la busca
Llínea 1:
Llínea 1: − +
sense resum d'edició
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 ".
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]]