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

[0198 １３２人目の素数さん 2017/12/26(火) 10:53:22.94 ID:DBa9oALT]

「ＰならばＱである」ならば、「ｐでないか又はＱである」。しかし、逆は成立しない。