含意の導入規則と除去規則｜記号論理学で「ならば」を扱う

id	29271
user_id	1056
roll_id	1868
order	14
language	ja
description
image_id	0
tag	[symbolic_logic:0.4][implication:0.3][natural_deduction:0.3]
created_time	1769470262
updated_time	1769470262