If anyone is interested, I personally prefer to use a tilde (~) as my negation symbol. For example, instead of not P, or /P, I would use ~P. It is personally easier to write with and I learned it in my formal logic classes.
4/5 — I’m improving!
3/5 but I see my mistakes. I put my own assumptions into the passages.
3/3!
Are you sure?
If anyone is interested, I personally prefer to use a tilde (~) as my negation symbol. For example, instead of not P, or /P, I would use ~P. It is personally easier to write with and I learned it in my formal logic classes.