数理論理学（数学基礎論）　その14

188 ：１３２人目の素数さん：2020/12/22(火) 22:17:13.50 ID:RfMIjE2z.net

論理学やり始めたばかりなんですけど、真理表とタブローの木と自然演繹って何が違うんですか？同じことの別表現？