首页 > > 详细

辅导PHIL 279 解析数据结构设计、php编程辅导

Spring 2020 PHIL 279 Test 2 Name _____________________________________ 
 
This test is due in Dropbox by Friday, May 29 at 11:00 pm. Please submit a single PDF or Word file. 
 
Part I. All Natural Deductions are to be done using only the 12 rules from the Natural Deductions handout. 
Number each line and justify each line. Justify all initial assumptions. Justify all additional assumptions by 
indicating the ND rule that you intend to apply to the sub-derivation created by that assumption, e.g., A/ ⸧ I. 
(Note: You will get part marks for properly setting up your ND and for making the appropriate additional 
assumptions that indicate your strategy.) (15) 
 
i. Provide a Natural Deduction to establish that the following is a valid sentence. This ND can 
be done in 9 lines. (3) 
[( M   L) ( L  M)]  ( L ≡  M) 
 
ii. Provide a Natural Deduction to establish that the following argument is valid. This ND can 
be done in 13 lines. (3) 
(A  B), ( B  C)  (D   E), D   F,  F ≡  E ⸫ (G ≡ H)   F 
 
iii. Provide a Natural Deduction to establish that the following sentences are equivalent. The NDs 
can be done in 22 lines. (3) 
A ( B  C) (A B)  (A C) 
 
iv. Provide a Natural Deduction to establish that the following set is inconsistent. This ND can be 
done in 18 lines. (3) 
{(M  N)  (G  C), (G  N)  C,  N  M} 
 
 
v. Provide a Natural Deduction to establish that the following set is inconsistent. This ND can be 
done in 16 lines. (3) 
{M   N,  M   L, ( M  N) L} 
 
Part II 
 
i. ND proof procedure claims that if Γ ⊢ P then Γ ⊨ P. Carefully explain what this claim means. 
(In your explanation, you’ll need to clarify the difference between ⊢ and ⊨.) (1) 
 
ii. Suppose that there is a proof procedure ND* that had the following alternative disjunction 
elimination rule (E*): 
m P  Q 
 
 
P E* m 
Provide a natural deduction in ND* that’s two lines long and explain why this two line ND* 
would illustrate why with ND* the claim that if Γ ⊢ P then Γ ⊨ P would be false. 
 
 
iii. Provide an explanation for why, according to the ND proof procedure, does a ND of the 
following form establish P to be unsatisfiable? (‘m’ is a line number. Note:  is unsatisfiable.) 
(1) 
1 P A 
 
 
m  
 
iv. Suppose you have a ND of the following form, where P, Q, R, S, T, V, W, Z, X, 
Y and Z are sentences of TFL. 
 
 
Q_____ 
R__ 
 
According to the ND proof procedure, this ND would establish the following four entailment 
claims. (Note: S, X, Y, Z in the following entailment claims are from the above ND.) 
 
Γ1 ⊨ S Γ2 ⊨ X Γ3 ⊨ Y Γ4 ⊨ Z 
 
Identify these four sets, e.g., {…}, by identifying the sentences in these sets, e.g., {Y, Z}. (1) 
 
Γ1 = 
Γ2 = 
Γ3 = 
Γ4 = 
v. If Q is derived along the main scope line from a set of initial assumptions {P}, then ND 
establishes that there is an interpretation in which both P and Q are true. (Indicate whether this 
claim is true or false, e.g., circle the correct answer) (.5) 
True False 
 
vi. According to the ND proof procedure, every sentence of TFL can be derived along the main 
scope line from a set of initial assumptions {}, i.e., the empty set. (Indicate whether this claim is 
true or false.) (.5) 
True False 
联系我们
  • QQ:99515681
  • 邮箱:99515681@qq.com
  • 工作时间:8:00-21:00
  • 微信:codinghelp
热点标签

联系我们 - QQ: 99515681 微信:codinghelp
程序辅导网!