Select all true statements. 1. If z does not occur free in B, then HB A if and only if HB (Vz)A. 2. If y does not occur in A, then - (3z)A> (y)A[x :=y)- 3. A[z := y|[y:= z] is always A. 4.HA (Vz)A....

Select all true statements.<br>1. If z does not occur free in B, then HB A if and only if HB (Vz)A.<br>2. If y does not occur in A, then - (3z)A> (y)A[x :=y)-<br>3. A[z := y|[y:= z] is always A.<br>4.HA (Vz)A.<br>5.F (Vz)(AV B) → (Vz)A V (Vz)B.<br>

Extracted text: Select all true statements. 1. If z does not occur free in B, then HB A if and only if HB (Vz)A. 2. If y does not occur in A, then - (3z)A> (y)A[x :=y)- 3. A[z := y|[y:= z] is always A. 4.HA (Vz)A. 5.F (Vz)(AV B) → (Vz)A V (Vz)B.

Jun 05, 2022

SOLUTION.PDF

Select all true statements. 1. If z does not occur free in B, then HB A if and only if HB (Vz)A. 2. If y does not occur in A, then - (3z)A> (y)A[x :=y)- 3. A[z := y|[y:= z] is always A. 4.HA (Vz)A....

Get Answer To This Question

Related Questions & Answers

Submit New Assignment