(a) (4 points) Given the premisesWhat is the weakest condition for Q(a,b) to be true? That is, write down the weakest formula F(≠Q(a,b)) such that F → Q(a,b) is a logical consequence of the premises.

(b) (4 points) For each pair of sets below, determine if |A| ＜ |B|, |A| = |B|, or |A| ＞ |B| (N.B. N is the set of natural numbers.) 1) A = The set of all computable functions from N to N. B = The set of all uncomputable functions from N to N. 2) A = The set of all C++ programs that terminate. B = The set of all C++ programs that don't terminate

題組內容

(a) (4 points) Given the premises

What is the weakest condition for Q(a,b) to be true? That is, write down the weakest formula F(≠Q(a,b)) such that F → Q(a,b) is a logical consequence of the premises.

相關申論題

相關試卷