金子の本が届いてざっと読んだけどやっぱ溝が埋まらん
Youtuberスレに書いてある以下の導出の根拠って何ページ読めばわかる?

|- P∨Q

1 (1) P∨Q 仮定
2 (2) P    仮定
2 (3) P∨Q 2.∨-導入