絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/21

正解を見る

In the proof, the implicant must be assumed true to derive the consequent.

音声機能が動作しない場合はこちらをご確認ください

元となった例文

In the proof, the implicant must be assumed true to derive the consequent.

証明では、含意の前件は結論を導くために真であると仮定されなければならない。