最終更新日：2025/11/20
In the formal logic seminar, she used modus ponens as an example, showing that from 'If it rains, the ground gets wet' and the antecedent 'It is raining' one can validly infer the consequent 'The ground gets wet'.
正解を見る
In the formal logic seminar, she used modus ponens as an example, showing that from 'If it rains, the ground gets wet' and the antecedent 'It is raining' one can validly infer the consequent 'The ground gets wet'.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
形式論理学のゼミで、彼女は前件肯定の論法を例として用い、『もし雨が降れば地面が濡れる』という前提と前件の『雨が降っている』から帰結の『地面が濡れる』を妥当に導けることを示した。
