Modus Ponens
Natural & Formal Sciences Dictionary
Définition
Règle d'inférence fondamentale : à partir de « Si P alors Q » (P → Q) et de « P », on infère « Q ». C'est la règle de détachement principale utilisée pour appliquer des conditionnels afin d'obtenir des conséquents.
Modus Ponens
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une règle fondamentale d'inférence valable qui affirme que, à partir des prémisses A → B et A, on peut déduire B ; souvent exprimée «si A alors B ; A ; donc B».