La lógica es una ciencia formal que estudia la validez de los argumentos independientemente del contenido, examinando su estructura lógica. Tradicionalmente ha sido parte de la filosofía pero en el siglo XX se formalizó como lógica simbólica con aplicaciones en informática. Las matemáticas estudian las propiedades y relaciones cuantitativas entre entes abstractos usando axiomas, deducciones lógicas y abstracción. Se usan en ciencias naturales, ingeniería y más. Las ciencias físicas incl