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

[0803 １３２人目の素数さん 2018/05/16(水) 16:17:26.32 ID:gbmGcrFM]

P→P∧Q
∀x(P(x)→P(x)∧Q(x))
これの区別ができないんですね

または、で解釈する際は上使ってるのに、ならば、になると下になってしまってるんです