ボックスの絵は、"Natural deduction for predicate logic"（https://cs.uwaterloo.ca/~plragde/cs245old/06-prednd.pdf）から抜粋。最後の絵は他の文献からコピーしたが、その文献が分からんから出所不明になってしまった。しかし、同じ絵だから"Natural de…