X
新しい言語を作りたいんだけど
■ このスレッドは過去ログ倉庫に格納されています
0001以下、5ちゃんねるからVIPがお送りします
垢版 |
2024/03/21(木) 11:30:24.297ID:FbqNcOY20
記号論理学と日常言語の間ぐらいの奴
0002以下、5ちゃんねるからVIPがお送りします
垢版 |
2024/03/21(木) 11:31:31.945ID:w1XyVcIa0
頑張ってね
0003以下、5ちゃんねるからVIPがお送りします
垢版 |
2024/03/21(木) 11:34:45.353ID:U02cA68U0
こんにちは
(P∧Q)∨(P∧R) ⊢ P∧(Q∨R)
ですね
■ このスレッドは過去ログ倉庫に格納されています