Question 41 (1 point)

True or False:

(x)[P(x)] & (y)[Q(y)]

and

(x)(y)[P(x) & Q(y)]

are logically equivalent.

Question 41 options:

	True
	False

Save

Question 42 (1 point)

X U Y = {z l z x or z Y} is a

Question 42 options:

	Theorem
	Relation
	Definition
	None of the above

Save

Question 43 (1 point)

A theorem is a tautology.

Question 43 options:

	True
	False

Save

Question 44 (1 point)

In a proof, the statement:

"Let x be an element of A U B"

is_____.

Question 44 options:

	Theorem
	Definition
	Assignment
	None of the above

Save

Question 45 (1 point)

We study proofs in computing because it helps us understand data structures

Question 45 options:

	True
	False