问答题 设ρ1是由A到B的关系，ρ2是由B到C的关系，试证明

问答题 求下面式子的前束范式： x（￢ヨyP（x，y））→（zQ（z）→R（x））.

问答题 某班学生50人，会FORTRAN-IV语言的40人，会ALGOL-60语言的35人，会PL∕1语言的10人，以上三门都会的5人，都不会的没有，问仅会两门的有几人？