数学ガール／フェルマーの最終定理の10.3.2「風景から問題を見出す」(p299)でユーリが問題10-1を解いてみせています。そのとき使ったロジックについて考えてみました。定理 命題\(P, Q, R\)に対して\((\lnot P \land Q) \Rightarrow R\)と\((\lnot P \land Q…