0085132人目の素数さん垢版 | 大砲2023/11/08(水) 23:59:18.66ID:mbZNNZkI この辺の論理展開を形式的に考えたいなら 真理値表のような低レベルなものより シーケント計算で考えたら?