问答题
简答题
证明下列关系式：
（a）
x
y（P（x）∨P（y））
xP（x）∨
yP（y）
（b）
x
y（P（x）∧Q（y））
xP（x）
（c）
x
y（P（x）∧Q（y））
xP（x）∧
yQ（y）
（d）
x
y（P（x）→P（y））
xP（x）→
yP（y）
（e）
x
y（P（x）→Q（y））
（
xP（x）→
yQ（y））
【参考答案】
问答题
证明下列关系式：
（a）xy（P（x）∨P（y））xP（x）∨yP（y）
（b）xy（P（x）∧Q（y））xP（x）
（c）xy（P（x）∧Q（y））xP（x）∧yQ（y）
（d）xy（P（x）→P（y））xP（x）→yP（y）
（e）xy（P（x）→Q（y））（xP（x）→yQ（y））