The truth value of statements involving sets is determined by the definition of the empty set and membership within sets. Set builder notation is a concise way to define a set by specifying a property that its members must satisfy, and it can be converted to list notation by finding all elements that meet the given property.