Metadata
Author: LASER-wikipedia2
Data
French[fr]
Par exemple : Si P, alors Q. (prémisse – implication matérielle) Si non Q, alors non P. (dérivé de la transposition) Non Q. (prémisse) Par conséquent, non P. (dérivé du modus ponens) De même, chaque utilisation du modus ponens peut être convertie en une utilisation du modus tollens.
Japanese[ja]
P ならば Q である(前提 -- 実質含意) Q でないならば P でない(その対偶) Q でない(前提) 従って、P でない(モーダスポネンスによる帰結) 同様に、モーダスポネンスを対偶を使ってモーダストレンスに変換可能である。