Llògica modal
Revisió de 10:38 24 feb 2020 per Jose2 (Discussió | contribucions)
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 ".