Package wytp.proof.rules.logic

Class Summary

Class	Description
AndElimination	Responsible for breaking conjuncts down into their individual terms.
OrElimination	Responsible for eliminating disjuncts by forking the proof into multiple branches, one for each clause in the disjunct.