Lógica

Um sistema formal de raciocínio usado para modelar relações precisas entre declarações ou propostas.