The statement that first statement and second statement imply third statement is materially equivalent to the statement that first implies second, which implies third: (p & q) -> r = p -> q -> r {exportation rule}. Exportation is true in propositional calculus. Exportation is not true for strict implication or entailment.
Mathematical Sciences>Logic>Rules
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224