If by "in this", you mean 7sage and studying for the LSAT more generally, then yeah. I don't have a background in formal logic, but based on a quick Google search, it seems you're right about that other symbol.
My guess is that from a pedagogical point of view, students find it more intuitive to cross things out on paper with a ~ or /. From what I can tell, the LSAT really only scratches the surface of what formal logic can do, so it's more efficient to go with symbols that intuitively make sense to everyone rather than teaching them something that's technically correct but could be confusing in the heat of the LSAT.
Comments
If by "in this", you mean 7sage and studying for the LSAT more generally, then yeah. I don't have a background in formal logic, but based on a quick Google search, it seems you're right about that other symbol.
My guess is that from a pedagogical point of view, students find it more intuitive to cross things out on paper with a ~ or /. From what I can tell, the LSAT really only scratches the surface of what formal logic can do, so it's more efficient to go with symbols that intuitively make sense to everyone rather than teaching them something that's technically correct but could be confusing in the heat of the LSAT.