Diferencies ente revisiones de «Lóxica»

Contenido eliminado Contenido añadido
Sin resumen de edición
m +{{control d'autoridaes}}
Llinia 6:
Tradicionalmente, la lóxica consideróse una rama de la [[filosofía]]. Sol nome de [[dialéutica]] y xuntu cola [[gramática]] y la [[retórica]], configuraba'l [[triviu]] nel sistema d'estudios medievales. Dende mediaos del [[sieglu XIX]], la lóxica formal convirtióse nuna disciplina matemática por un doble motivu: porque s'estudió con ferramientes matemátiques y porque se desendolcó col enfotu d'establecer una fundamentación pa les [[matemátiques]]. Nesti contestu, la disciplina conocióse como [[lóxica simbólica]] o [[lóxica matemática]]. Finalmente, el papel destacáu de la lóxica formal nel desendolcu de la [[computabilidá]], y la implementación informática de los sistemes de razonamientu estudiaos pola lóxica (sobremanera nel marcu de la [[intelixencia artificial]]) fixeron que la lóxica tamién pueda considerase en ciertu mou una subdisciplina de la [[informática]].
 
{{control d'autoridaes}}
[[Categoría:Lóxica]]