Ive thought about a browser extension which converts slabs of text into propositional logic, eg: https://math.stackexchange.com/questions/421312/converting-tex

Ive thought about a browser extension which converts slabs of text into propositional logic, eg: https://math.stackexchange.com/questions/421312/converting-text-to-propositional-logic https://math.stackexchange.com/questions/421312/converting-t... I wonder if the text doesnt equate to true....you can just assume incredibility off the bat. If it passes - you can continue... do you use this concept in this project? Curious :)