News for hackers. Stuff that matters.

A comment on Sequent Calculus and Notation – Par Part 1. Parent comment

Re:Sequent Calculus and Notation – Par Part 1 by Tainnor on Thursday January 23, 2025 @12:25AM (#42800990)
It may help, if you're familiar with set notation, to remember that x ∈ A ∩ B iff x ∈ A ∧ x ∈ B - the symbols mirror each other.
[ Parent | on HN ]

There are no comments on this comment yet.