ummmmmmm ok thinking of combining the two A: "this statement is unprovable"
we consider that _portions_ of statements that _contradict with the rules of logic_ have an undefined or unknown truth value. so A is undefined or unknown. B: "A is unprovable" C: "A is false" D: "A is true" I guess the unknownness would propagate to B, C, and D. A combination of them together would also retain this unknownness.
