La
lógica es una
ciencia formal que estudia los principios de la
demostración e
inferencia válida. La palabra deriva del
griego antiguo λογική
logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (
lógos), «
palabra,
pensamiento,
idea,
argumento,
razón o
principio».