数学基礎論・数理論理学　その19

308: 2024/05/16(木)04:52 ID:arX/sd11(1/3) AAS
自説

317(1): 2024/05/16(木)16:56 ID:arX/sd11(2/3) AAS
横だけど、こういうとき論理の規則、p->q等、は何を前提とするの？

321: 2024/05/16(木)18:00 ID:arX/sd11(3/3) AAS
>>317
形式的体系
• ヒルベルト流
• 自然演繹
• シーケント計算LK

こんな感じね、中味はしらんけど