Sequent Calculus and Notation – Par Part 1

Re:Sequent Calculus and Notation – Par Part 1 by btilly on Wednesday January 22, 2025 @02:30PM (#42796563)

What is the upside down v supposed to be? Yeah, I know that it is "and". But it isn't specified, and I do little enough logic that I had to look it up.

[ Parent | on HN ]

Re:Sequent Calculus and Notation – Par Part 1 by hoping1 on Wednesday January 22, 2025 @03:28PM (#42797121)

Fair, I think of this as advanced logic, and those concepts (and that notation) as prerequisite.

[ Parent | on HN ]

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 ]