Como ciencia formal, la lóxica estudia y clasifica la estructura de les proposiciones y los argumentos, mesmo al traviés del estudiu de sistemes formales dinferencia qual traviés del estudiu direutu del razonamientu en llinguaxe natural.