Introduction and elimination rules for ~, /\, \/, ), and Dominance

If "Assumption" is the first of a set of 17 rules -- the next 14 rules introduce and eliminate the following items:

~: two rules

/\: two rules

\/: two rules

): two rules

Ax: two rules

Ex: two rules

Dom: two rules


Some of these have special names.

~: two rules. The first is RAA, i.e. introduction of ~. The second is DN, i.e. elimination of ~.

/\: two rules

\/: two rules

): two rules. the introduction is CP, the elimination is MPP.

Ax: two rules

Ex: two rules

Dom: two rules