News for hackers. Stuff that matters.

A comment on Bertrand Russell Is the Pope (2010). Parent comment

Re:Bertrand Russell Is the Pope (2010) by jimmyed on Saturday April 03, 2021 @10:20PM (#26686410)
Is this standard DSL for formal logic? What's it called?
[ Parent | on HN ]
Re:Bertrand Russell Is the Pope (2010) by jumboshrimp on Saturday April 03, 2021 @10:40PM (#26686484)
If I’m understanding your question correctly, this is symbolic logic: https://en.m.wikipedia.org/wiki/List_of_logic_symbols
[ Parent | on HN ]
Re:Bertrand Russell Is the Pope (2010) by repsilat on Sunday April 04, 2021 @01:19AM (#26687083)
Not 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.
[ Parent | on HN ]