3 ms·
To be fair, I did intentionally write them in a style to mimic propositional logical statements (which are tautologies) but you are correct that they're not in
by bangkoksbest 3y ago
To be fair, I did intentionally write them in a style to mimic propositional logical statements (which are tautologies) but you are correct that they're not in a formal system so they can't actually be tautologies.