Just want to note that I don’t get what this is trying to do formally. Maybe some formatting is missing? It seems like complete gobbledygook to me. Are the letters supposed to be sentences? Or set variables? Or what? “A is B” seems like it’s trying to say something like predicate B applies to object A, or A is in set B, something like that. But then “C is B if C” makes no sense, because C would be an element, rather than a condition that can be true/false.
Just want to note that I don’t get what this is trying to do formally. Maybe some formatting is missing? It seems like complete gobbledygook to me. Are the letters supposed to be sentences? Or set variables? Or what? “A is B” seems like it’s trying to say something like predicate B applies to object A, or A is in set B, something like that. But then “C is B if C” makes no sense, because C would be an element, rather than a condition that can be true/false.