>>833
なんか素人がほざいてんな 普通は
∀x.(P(x)⇒Q(x)) か
∃x.(P(x)∧Q(x)) だろ