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

[0340 １３２人目の素数さん 2024/05/20(月) 00:18:53.06 ID:scxUAhLA]

>>337
>￢はいれずにFalseをいれて、
¬を入れないとは¬LRを使わないということ？
それはやりすぎだろ
>右側をピッタリ1個に制限
常に後件に論理式が1個？？
それでどうやって
A,¬A⊢¬B
導くの？