■ このスレッドは過去ログ倉庫に格納されています
【ChatGPT】AIチャット総合 14【Copilot・Gemini】
- 453 :名無しさん@お腹いっぱい。:2024/04/12(金) 22:51:33.09 ID:/AWGlNdL.net
- 1. モーダスポネンス(含意除去)の形式証明を記述してください。
2. 証明をコンパイルして定理証明器で検証してください。
https://chat.openai.com/share/f7918e73-7475-48af-9fa8-b201e4fffbf4
総レス数 1004
310 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★