論理的帰結
論理的
+
帰結
logical consequence
演繹
（
deducere
）
恒真式
（
tautology
）
妥当性
ルイス・キャロルのパラドックス
論理的帰結 - Wikipedia