问答题
找出下面公式的斯科林范式： ￢（∀xP（x）→∃yP（y））.
问答题 求下面式子的前束范式： x（￢ヨyP（x，y）→（zQ（z））→R（x））.
问答题 若ρ是可传递的，则也是可传递的吗？
问答题 若ρ是对称的，则也是对称的吗？
