- 1 The First Order Logic Fol Statement Rvq Pv Q Is Equivalent To Which Of The Following A Rv Q A Pv Q Rv 1 (63.96 KiB) Viewed 33 times
1. The first order logic (FOL) statement (RVQ)/(PV-Q) is equivalent to which of the following? A. ((RV-Q) A (PV-Q) ^ (RV P)) B. ((RVQ) A (PV-Q) ^ (RV P)) C. ((RVQ) ^ (PV-Q)^(RV-P)) D. ((RVQ) A (PV-Q)^(-RVP)) 2. Given the following set of clauses: father (X, Y): 2 parent (X, Y), amale (X), parent (Sally, Bob), sparent (Jim, Bob), parent (Alice, Jane), parent (Thomas, Jane), male (Bob), male (Jin), 10 female (Salley), 11 female (Alice). How many atoms are matched to the variable 'X' for the query father(X, Jane)? A. 1 B. 2 C. 3 D. 4 3. Let VEG(X) mean X is a vegetarian, Meat (Y) for Y is meat, and EAT (X,Y) for X eats Y. Based on these, consider the following sentences: I. VZ VEG (x) + (y EAT (z,y) →→ MEAT (y)) II. VZ VEG(z) + (-(3 y MEAT (y) A EAT (x,y))) III. VZ (3 y MEAT (y) A EAT (z,y)) +- VEG (x) A. Only I and II are equivalent sentences B. Only II and III are equivalent sentences C. Only I and III are equivalent sentences D. I, II, and III are equivalent sentences 4. Which of the following arguments are not valid? (i) If Gora gets the job and works hard, then he will be promoted. If Gora gets promotion, then he will be happy. He will not be happy, therefore, either he will not get the job or he will not work hard (ii) Either Puneet is not guilty or Pankaj is telling the truth. Pankaj is not telling the truth, therefore, Puneet is not guilty. (iii) If n is a real number such that n>1, then n²>1. Suppose that n² > 1, then n>1. A. (i) and (iii) B. (ii) and (iii) C. (i), (ii) and (iii) D. (i) and (ii)