数理論理学（数学基礎論） その12

[0799 １３２人目の素数さん 2018/05/15(火) 20:51:29.27 ID:uUBv6rUz]

P→P∨Q
はPが真であれ偽であれ必ず真になるので恒真命題ですが
Pが真であれば
P∨Q→P
は真です