(Left ) If the selected formula is on the left side of the table, two new lines are added to the table, and thus two new formulas are added to each open path containing the selected formula. The first new line contains the first conjunct of the selected formula, and the second new line contains the second conjunct of the selected formula. This procedure embodies the idea that if a conjunction is true, both of the conjuncts are true.

(Right) If the selected formula is on the right side of the table, a single line is added, and any open paths containing the selected formula are split into pairs of paths. The first conjunct of the selected formula is add ed to the first member of each pair of paths, and second conjunct of the selected formula is added to the second member of each pair of paths. This procedure embodies the idea that if a conjunction is false, then one or the other of the conjuncts must be false.

Home	Information	Courses	Fonts
Download	Tutorials	Glossary	Agora