3

I have no idea if this is what Terry had in mind, but in formal logic one of the possible ways to indicate the negation of a proposition ‘p’ (i.e. turn it into the opposite statement "not ‘p’”) is indeed to write ‘p’ with a horizontal bar on top of it.

Загрузка...