Lemmon流証明図
#証明図 #証明図の流儀
E. J. Lemmon
論理学Ⅰ(山口尚の講義)でおれが多分ならった証明の方法だと思う