Quick Reference

A rule of reasoning that implies that from a clause such as PQ (where ⇒ should be interpreted as “implies” and P and Q are atoms) one can deduce both PRQ and PQR (where ∨ signifies “or”). In other words, additional antecedents can always be added to a clause in a deduction.

Subjects: Computing.

Reference entries