Section 5.06 Self-Quiz

* not completed

. The truth-value of P is true and the truth value of Q is false.

f(p)=f(q) correct incorrect

f(p)≠g(q) correct incorrect

f(p)=a • g(q)≠a correct incorrect

f(p)=a • f(q)=b correct incorrect

f(p)=a ≡ f(q)=b correct incorrect

* not completed

. P is true if, and only if, not-P is false.

f(p)=a • g(p)=a correct incorrect

f(p)=b • g(p)=a correct incorrect

f(p)=a ≡ g(p)=b correct incorrect

f(p)=a ≡ g(p)≠b correct incorrect

f(a)≠f(b) correct incorrect

* not completed

. Every proposition is either true or false.

(∀x){Px ⊃ [f(x)=a ∨ f(x)=b]} correct incorrect

(∀x){Px ⊃ [f(x)=a ∨ g(x)=b]} correct incorrect

(∀x){Px ⊃ [f(x)=a ∨ b]} correct incorrect

(∀x){Px ⊃ [f(x)=g(x)]} correct incorrect

(∀x){Px ⊃ [Pf(a) • Pg(a)]} correct incorrect

* not completed

. For any two propositions, if their conditional is false then the antecedent is true and the consequent is false.

(∀x)(∀y){(Px • Py) ⊃ {f(x,y)=b ⊃ [f(x)=b • f(y)=a]}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {f(x,y)=b ⊃ [f(x)=a • f(y)=b]}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {g(x,y)=b ⊃ [f(x)=a • f(y)=b]}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {g(x,y)=a ⊃ [f(x)=a • f(y)=b]}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {[f(x,y)=b • f(y,x)=b] ⊃ {[f(x)=b • f(y)=b] ∨ [f(x)=a • f(y)=b]}}} correct incorrect

* not completed

. For any two propositions, if a biconditional between them is true then either they are both true or they are both false.

(∀x)(∀y){(Px • Py) ⊃ {f(x,y)=a ≡ [f(x)=f(y) ≡ f(y)=f(x)]}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {f(x,y)=a ⊃ [f(x)=a • f(y)=a]}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {g(x,y)=a ⊃ {[f(x)=a • f(y)=a] ∨ [f(x)=b • f(y)=b]}}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {g(x,y)=a ⊃ {[f(x)=a • f(y)=a] ≡ [f(x)=b • f(y)=b]}}} correct incorrect

(∀x)(∀y){(Px • Py) ⊃ {g(x,y)=a ⊃ {[f(x)=a • g(x)=a] ∨ [f(x)=b • g(y)=b]}}} correct incorrect

* not completed

. If a proposition is true, then any conditional in which it is the antecedent has the same truth value as the biconditional between it and the consequent of that conditional.

(∀x){Px ⊃ {f(x)=a ⊃ (∀y){Py ⊃ [f(y,x)=g(x,y)]}}} correct incorrect

(∀x){Px ⊃ {f(x)=a ⊃ (∀y){Py ⊃ [f(x,y)=g(x,y)]}}} correct incorrect

(∀x){Px ⊃ {f(x)=a ⊃ (∃y){Py • [f(y,x)=g(x,y)]}}} correct incorrect

(∀x){Px ⊃ {f(x)=a ⊃ (∃y){Py • [f(x,y)=g(x,y)]}}} correct incorrect

(∀x){Px ⊃ {f(x)=a ⊃ (∃y){[Py • f(x)=P] ⊃ [f(y,x)=a • g(x,y)=a]}}} correct incorrect

* not completed

. If a proposition has a truth value (i.e. is either true or false), then so does its negation.

(∃x){Px • {[f(x)=a ∨ f(x)=b] ⊃ f(x)≠g(x)}} correct incorrect

(∃x){Px • {f(x)≠g(x) ⊃ [f(x)=a ∨ f(x)=b]}} correct incorrect

(∃x){Px • {[f(x)=a ∨ f(x)=b] ⊃ [g(x)=a ∨ g(x)=b]}} correct incorrect

(∀x){Px ⊃ {[f(x)=a ∨ g(x)=b] ⊃ f(x)=g(x)}} correct incorrect

(∀x){Px ⊃ {[f(x)=a ∨ f(x)=b] ⊃ [g(x)=a ∨ g(x)=b]}} correct incorrect

* not completed

. No conditional with a true consequent is false.

(∀x){Px • [(∀y)f(y,x)=a ⊃ f(x)=b]} correct incorrect

(∀x){[Px • [(∀y)f(y,x)=b ⊃ f(x)≠b]} correct incorrect

(∀x){[Px • f(x)=a] ⊃ (∃y)[Py • f(y,x)≠b]} correct incorrect

(∀x){[Px • f(x)=a] ⊃ (∀y)[Py ⊃ f(y,x)≠b]} correct incorrect

(∀x){[Px • f(x)=a] ⊃ (∀y)[Py ⊃ f(x,y)≠b] correct incorrect

* not completed

. Some true conditionals have true antecedents, while some have false antecedents.

(∃x)(∃y)[f(x,y)=a • f(x)=a] • (∃x)(∃y)[f(x,y)=a • f(x)=b] correct incorrect

(∃x)(∃y)[g(x,y)=a • g(x)=a] • (∃x)(∃y)[g(x,y)=a • g(x)=b] correct incorrect

f(m,n)=a • f(m)=a • f(m,n)=b • f(m)=b correct incorrect

f(m,n)=a • g(m)=a • f(m,n)=b • g(m)=b correct incorrect

(∃x)(∃y)[f(x,y)=a • f(x)=a] • (∃x)(∃y)[g(x,y)=a • g(x)=b] correct incorrect

* not completed

. If two propositions have the same truth values, then the truth-values of either conditional made from those propositions is the same as the truth value of the biconditional made from those propositions.

f(p)=f(q) ⊃ [f(a,b)=g(a,b) • f(b,a)=g(a,b)] correct incorrect

f(p)=f(q) ⊃ [f(a,b)=g(a,b) • f(a,b)=g(b,a)] correct incorrect

(∀x)(∀y){[(Px • Py) • x=y] ⊃ [f(x,y)=g(x,y) • f(y,x)=g(x,y)]} correct incorrect

(∀x)(∀y){[(Px • Py) • f(x)=f(y)] ⊃ [f(x,y)=g(x,y) • f(y,x)=g(x,y)]} correct incorrect

(∀x)(∀y){[(Px • Py) • f(x,y)=f(y,x)] ⊃ [f(x,y)=g(x,y) • f(y,x)=g(x,y)]} correct incorrect