A directory of Objective Type Questions covering all the Computer Science subjects. Here you can access and discuss Multiple choice questions and answers for various compitative exams and interviews.

Discussion Forum

Que. Consider the following formula a and its two interpretations I1 and I2. Which of the following statements is true?
Propositional and First Order Logic
a. I1 satisfies α, I2 does not
b. I2 satisfies α, I1 does not
c. Neither I2 nor I2 satisfies α
d. Both I1 and I2 satisfy α
Answer:Both I1 and I2 satisfy α
Confused About the Answer? Ask for Details Here
Know Explanation? Add it Here

Similar Questions: