(1)　¬∀xP(x)⊃∃x¬P(x)
(2)　∃x∀y(P(y)⊃P(x))

(1)、(2)の論理式をそれぞれ偽にするようなクリプキ･モデルを教えて下さい。
お願いします。