「すべての」を形式化する｜記号論理学の全称量化子 ∀
コピー
id
29406
user_id
1056
roll_id
1868
order
20
language
ja
description
image_id
0
tag
[symbolic_logic:0.4][quantifier:0.3][universal:0.3]
created_time
1769705162
updated_time
1769705162
← 戻る