1
   

PLEASE SOMEONE MUST KNOW HOW TO DO THIS!!! Logic Henkin/Completeness

 
 
Reply Wed 12 Nov, 2014 01:32 pm
I am so lost. Please please please, any help is so appreciated!!!

Call a set Σ of sentences in a language L Henkin′ in L if, for each formula φ and each variable x, if (iii) below holds, then (iv) also holds.
(iii) ∃xφ ∈ Σ.
(iv) φ(x; c) ∈ Σ for some constant c of L.
Let Σ* be a set of sentences in a language L* having properties (2) and (3) described in the statement of Lemma 4.3. Show that Σ* is Henkin in L∗ if and only if it is Henkin' in L*.

Also:
Lemma 4.3. Let Σ be set of sentences of a language L consistent in L. Let L∗ be gotten from L by adding infinitely many new constants. There is a set Σ∗ of sentences of L∗ such that
(1) Σ⊆Σ*;
(2) Σ* is consistent in L* ;
(3) for every sentence σ of L*, either σ belongs to Σ* or ¬σ belongs to Σ*;
(4) Σ* is Henkin.

More info:
Henkin sets. A set Σ of sentences in a language L is Henkin in L if, for each formula φ of L and each variable x, if (i) below holds, then (ii) also holds.
(i) φ(x; c) ∈ Σ for all constants c of L. (ii) ∀xφ ∈ Σ.

Hints:
For the “only if” direction, assume that Σ∗ is Henkin in L∗ and assume that (iii) holds (for Σ∗). You need to show that (iv) holds. Assume that (iv) does not hold. Use property (3) of Σ∗ to deduce that (i) holds for the formula ¬φ in place of φ. Use the assumption that Σ∗ is Henkin to get that (ii) holds for the formula ¬φ. Use property (2) of Σ∗ to show that this contradicts the assumption that (iii) holds for φ.
For the “if” direction, assume that Σ∗ is Henkin′ in L∗ and assume that (i) holds (for Σ∗). You need to show that (ii) holds. Assume that (ii) does not hold. Use properties (2) and (3) of Σ∗ to deduce that (iii) holds for ¬φ in place of φ. Use the assumption that Σ∗ is Henkin′ to show that (iv) holds for ¬φ in place of φ. Use property (2) of Σ∗ to contradict the assumption that (i) holds for φ.
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 1 • Views: 895 • Replies: 2
No top replies

 
Fil Albuquerque
 
  1  
Reply Thu 13 Nov, 2014 09:54 am
Kenethammy or whatever was his nick, is long gone...other logicians around have the good sense of not doing your homework for you. I am not a formal logician...goodbye !
0 Replies
 
izzythepush
 
  1  
Reply Thu 13 Nov, 2014 10:07 am
http://www.gospelgifs.com/art_pages_11/images/jita002.gif
0 Replies
 
 

Related Topics

How can we be sure? - Discussion by Raishu-tensho
Proof of nonexistence of free will - Discussion by litewave
Destroy My Belief System, Please! - Discussion by Thomas
Star Wars in Philosophy. - Discussion by Logicus
Existence of Everything. - Discussion by Logicus
Is it better to be feared or loved? - Discussion by Black King
Paradigm shifts - Question by Cyracuz
 
  1. Forums
  2. » PLEASE SOMEONE MUST KNOW HOW TO DO THIS!!! Logic Henkin/Completeness
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 04/26/2024 at 02:45:41