5 Set predicate Px x is anodd number Qx X is aneven number predicateformula VxPxV Qx inwhich individual domain is true
The individual domain is not specified, so we cannot determine which values of x make the predicate formula true. However, it is important to note that the formula Vx(P(x)V Q(x)) means "for all x, either P(x) is true or Q(x) is true". This means that the formula will always be true, regardless of the individual domain, because every integer is either odd or even (but not both).
原文地址: https://www.cveoy.top/t/topic/FGQ 著作权归作者所有。请勿转载和采集!