Trying to chop the logic, but am not completely confident in my translation of the last symbol (plus not having seen formal logic since my college days 30+ years ago). It translates to:
and or iff (or is equivalent to) implies (or is superset of) not?
Trying to chop the logic, but am not completely confident in my translation of the last symbol (plus not having seen formal logic since my college days 30+ years ago). It translates to:
ReplyDeleteand or iff (or is equivalent to) implies (or is superset of) not?
That was supposed to be the Not. Or "It is not the case that..."
ReplyDelete