Determine the line and the reason for the entry on line 5 given the following part of a formal proof of validity: 1. E= (F ^¬G) 2. (F V G) = H 3. Е : H 4. F ^ ¬G 5. F 6. F V G 7. H A 4 SIMPLIFICATION 5 ADDITION 1,2 HYPOTHETICAL SYLLOGISM D) 4,3 MODUS PONENS

مسئله 1: حول o q( )q= (r p~( = إلى عبارة شرط Horn. Question 1: Convert (~p v q) = (r = q) to the Horn Clause phrase. مسئله ۲: قم بتحويل p = (q )^r إلى وجه الطبيعي ل لموصول )CNF(. Question 2: Convert p e ~(g ^r) to Conjunctive Normal Form (CNF). مسئله ۳: إذا كانت )~rp_v~(~ = « و = (p KB، )rvq)^(~q v أثبت من خلال طريقة التحليل )إثبات قائم على التناقض( ما إذا كان = | KB صحيح؟ Question 3: If a = ~(~p v ~r) and KB = (p vq)^(~qvr), prove by the analysis method (proof based on contradiction) whether KB | = a is correct? مسئله ۴: إذا كانت )rp~( = « و = KB، (pvq)^(q )vrأثبت من خلال طريقة التحليل )إثبات قائم على التناقض( ما إذا كان KB | = a صحيح؟ Question 4: If a = ~(~p v ~r) and KB = (p v q)^(~q vr), prove by the analysis method (proof based on contradiction) whether KB | = a is correct? KB = p (r = (q ، أثبت باستخدام طريقة التحليل )إثبات قائم على التناقض( ما Lo ^~pg a = ~q iS 1:0 lim S KB | = a s5 1s! Question 5: If a = ~q and KB = ( p (q vr) p, prove using the analysis method (proof based on…

6. Determine the values of the given statements if p is true and q is false. i. ~p v~q ii. p^q^~p

3