If first statement is true and statement that first statement implies second statement is true, second statement is true {modus ponens, rule}| {detachment rule} {rule of detachment} {affirming the antecedent}. If A is true, and A then B is true, then B is true. p & (p -> q) -> q. Modern formal logic requires only modus-ponens rule.
Mathematical Sciences>Logic>Rules
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224