Eris

Interactive Proof Environment

Explorations in creating an direct manipulation logic tool

@prabros

Logical Operators

20 August 2026

A small selection of logical operators for the environment

Shows a 3 by 3 table for the operators (∧, ∨, →) with their corresponding introduction and elimination functions. The introduction functions have one two ports on the left and one port on the right and the elimination ones have two ports on the right and one port on the left.