Importation

Importation

The form of valid inference of the propositional calculus from

A ? [B ? C] to AB ? C.

The law of importation is the theorem of the propositional calculus

[p ? [q ? r]] ? [pq ? r].

— A.C.

Fuente: The Dictionary of Philosophy