Properties of Trapezoid Truth Values in Fuzzy Logic