Modus Ponens
Natural & Formal Sciences Dictionary
Definition
A fundamental rule of inference: from 'If P then Q' (P → Q) and 'P', infer 'Q'. It is the primary detachment rule used to apply conditionals to obtain consequents.
Modus Ponens
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A fundamental valid rule of inference stating that from premises A → B and A one may deduce B; often described as 'if A then B; A; therefore B.'