量化子の推論規則｜述語論理での証明方法 - 記号論理学
コピー
id
29465
user_id
1056
roll_id
1868
order
24
language
ja
description
image_id
0
tag
[symbolic_logic:0.4][quantifier:0.3][inference:0.3]
created_time
1769798762
updated_time
1769798762
← 戻る