>>91
論理記号の中での両者の違いを教えてください
自分はp(x),q(x)を述語としたとき、(p(x)⇒q(x))＝∀x(p(x)→q(x))
つまりp(x)⇒q(x)は命題、p(x)→q(x)は述語だとだと考えているのですが
あってます？