考虑由3条或者由4条边的所有多边形组成的论域,并且对于这个论域定义如下开放语句.a(x):x的所有内角都相等h(x); x的所有边都相等t(x):x是一个三角形确定如下命题是真命题还是假命题.(8) ∀x [ t(x) →(a(x) h(x)) ]
问题描述:
考虑由3条或者由4条边的所有多边形组成的论域,并且对于这个论域定义如下开放语句.
a(x):x的所有内角都相等
h(x); x的所有边都相等
t(x):x是一个三角形
确定如下命题是真命题还是假命题.
(8) ∀x [ t(x) →(a(x) h(x)) ]
答