全称命題と存在命題
論述領域(ドメイン)を$-3$以上$3$以下の整数とする。以下の命題の真偽を答えよ。
[1]命題$P(x)$を「 」とする。
- $P(0)$は である。
- $P(3)$は である。
- $\forall x, P(x)$は である。
- $\exists x, P(x)$は である。
- $\neg (\forall x, P(x))$は である。
- $\neg (\exists x, P(x))$は である。
[2]命題$Q(x,y)$を「 」とする。
- $Q(0,1)$は である。
- $Q(2,3)$は である。
- $\forall x, \exists y, Q(x,y)$は である。
- $\exists x, \forall y, Q(x,y)$は である。
- $\neg (\forall x, \exists y, Q(x,y))$は である。
- $\neg (\exists x, \forall y, Q(x,y))$は である。