Question

In: Advanced Math

2. Show that Σ ⊆ Prop(A) is consistent and complete iff there is exactly one truth...

2. Show that Σ Prop(A) is consistent and complete iff there is exactly one truth assignment that satisfifies Σ.

Solutions

Expert Solution

we say that Σ denotes a set of propositions, that is, Σ ⊆ Prop(A)

If Σ is consistent and Σ ` p, then Σ ∪ {p} is consistent

Proof. Assume the second form of Completeness holds, and that Σ |= p. We want to show that then Σ ` p. From Σ |= p it follows that Σ ∪ {¬p} has no model. Hence by the second form of Completeness, the set Σ ∪ {¬p} is inconsistent.

We say that Σ is complete if Σ is consistent, and for each p either Σ ` p or Σ ` ¬p. Completeness as a property of a set of propositions should not be confused with the completeness of our proof system as expressed by the Completeness Theorem. (It is just a historical accident that we use the same word.) Below we use Zorn’s Lemma to show that any consistent set of propositions can be extended to a complete set of propositions.

=Suppose Σ is consistent. Then Σ ⊆ Σ' for some complete Σ' ⊆ Prop(A)


Related Solutions

Let Σ ⊆ P rop(A). Show that Σ|− p iff Σ ∪ {¬p} is unsatisfifiable.
Let Σ ⊆ P rop(A). Show that Σ|− p iff Σ ∪ {¬p} is unsatisfifiable.
Show that there is only one positive integer k such that no graph contains exactly k...
Show that there is only one positive integer k such that no graph contains exactly k spanning trees.
Show algebraically that E(Var(β1hat)) = σ^2/(n-1)σx2
Show algebraically that E(Var(β1hat)) = σ^2/(n-1)σx2
Show that the equation has exactly one real root. 3x + cos(x) = 0
Show that the equation has exactly one real root. 3x + cos(x) = 0
5. (a) Let σ = (1 2 3 4 5 6) in S6. Show that G...
5. (a) Let σ = (1 2 3 4 5 6) in S6. Show that G = {ε, σ, σ^2, σ^3, σ^4, σ^5} is a group using the operation of S6. Is G abelian? How many elements τ of G satisfy τ^2 = ε? τ^3 = ε? ε is the identity permutation. (b) Show that (1 2) is not a product of 3-cycles. Must be written as a proof! (c) If a^4 = 1 and ab = b(a^2) in a...
CS 301 Homework 1- Let Σ = {a, b}. Show that the language [2 marks] L...
CS 301 Homework 1- Let Σ = {a, b}. Show that the language [2 marks] L = is not regular.
Show complete solution 1. Show that the lines ?/1 = y+3/ 2 = z+1/3 and x-3/2...
Show complete solution 1. Show that the lines ?/1 = y+3/ 2 = z+1/3 and x-3/2 = y/1 = z-1/-1 intersect by finding their point of intersection. Find the equation of the plane determined by these lines. Find parametric equations for the line that is perpendicular to the two lines and passes through their point of intersection.
Show a complete graph for both of these shocks. You will need two graphs only, one...
Show a complete graph for both of these shocks. You will need two graphs only, one for each shock. The graphs have to show: -The new short run equilibrium immediately after the shock occurs. -The new long run equilibrium. -The transition to the long run equilibrium. Properly label your axes and the curves in your graphs, and use arrows to show shifts of curves and the change in the price level and output. The two shocks are: The stock market...
Let k ≥ 2. Use that R (the real numbers) is complete to show R^k is...
Let k ≥ 2. Use that R (the real numbers) is complete to show R^k is complete.
The Vector Field f(x, y) = (2x + 2y^2)i + (4xy - 6y^2)j has exactly one...
The Vector Field f(x, y) = (2x + 2y^2)i + (4xy - 6y^2)j has exactly one potential function f (x, y) that satisfies f(0, 0). Find this potential function , then find the value of this potential function at the point (1, 1).
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT