3 ms·
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 res
by repsilat 6y ago
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.