lògica

En general, la lògica (terme que prové del grec clàssic λόγος logos; i que significava paraula, pensament, idea, argument, explicació, raó o principi) és l'estudi dels sistemes de raonament correcte, és a dir, dels sistemes de raonament que un ésser racional podria utilitzar per raonar. La lògica s'ocupa de determinar quines formes d'inferència i de demostració són vàlides i quines no, i per tal de fer-ho la noció central que estudia és la de conseqüència lògica.