4 ms·
Is this standard DSL for formal logic? What's it called?
by jimmyed 6y ago
Is this standard DSL for formal logic? What's it called?
- jumboshrimp 6y agoIf I’m understanding your question correctly, this is symbolic logic: https://en.m.wikipedia.org/wiki/List_of_logic_symbols https://en.m.wikipedia.org/wiki/List_of_logic_symbols
- repsilat 6y agoNot at all standard I'm afraid. "Modus ponens" is a common term to describe inferring B from A->B and A, but that's about as far as I'd be willing to say it resembles any common notation for formal logic.