4 ms·
Math degree holder from Iowa, yeah, I've seen and used it many times. The symbol is used when you reach the contradictory statement. Like "1 = 2". "By way of c
by AaronFriel 5y ago
Math degree holder from Iowa, yeah, I've seen and used it many times. The symbol is used when you reach the contradictory statement. Like "1 = 2".
"By way of contradiction suppose P, then ..., thus ~P ↯. Therefore ..."