Diferència entre les revisions de "Llògica modal"

Revisió de 10:38 24 feb 2020 editar Jose2 (Discussió \| contribucions) Administradors 158 941 edicions mSense resum d'edició ← Edició anterior		Última revisió del 18:30 1 març 2025 editar desfer Jose2 (Discussió \| contribucions) Administradors 158 941 edicions Sense resum d'edició
(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 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]]