问答题
求下面式子的前束范式： ∃x（￢ヨyP（x，y））→（∃zQ（z）→R（x））.
问答题 某班学生50人，会FORTRAN-IV语言的40人，会ALGOL-60语言的35人，会PL∕1语言的10人，以上三门都会的5人，都不会的没有，问仅会两门的有几人？
问答题 证明下面公式： xP（x）→ヨxQ（x）x（P（x）→Q（x））.
问答题 证明下面公式： ∀x（P（x）→Q（x）∧R（x））∧∃x（P（x）∧Q（x））⇒∃x（Q（x）∧R（x））.
