Un sistema de lóxica