「存在する」を形式化する｜記号論理学の存在量化子 ∃
コピー
id
29411
user_id
1056
roll_id
1868
order
21
language
ja
description
image_id
0
tag
[symbolic_logic:0.4][quantifier:0.3][existential:0.3]
created_time
1769713262
updated_time
1769713262
← 戻る