>>994
>形式論理が大したものだとはいってないよね
>だからこそ分からんのがおかしいわけだが

形式論理で「正しい」証明をちゃんと整った形で書くには
記号の使い方を復習しないといけないので