>>424
条件もしくは述語Pを満たす、はまだわかりますが、命題Pを満たす、はありえない表現です

述語と命題の区別もつかないような人が数理論理を語るべきではありません