Question: Which of the following are correct? a. False True. b. True False. c. (A B) (A B). d. A
Which of the following are correct?
a. False ⊨ True.
b. True ⊨ False.
c. (A ∧ B) ⊨ (A ⇔ B).
d. A ⇔ B ⊨ A ∨ B.
e. A ⇔ B ⊨ ¬A ∨ B.
f. (A ∧ B) ⇒ C ⊨ (A ⇒ C) ∨ (B ⇒ C).
g. (C ∨ (¬A ∧ ¬B)) ≡ ((A ⇒ C) ∧ (B ⇒ C)).
h. (A ∨ B) ∧ (¬C ∨¬D ∨ E) |= (A ∨ B).
i. (A ∨ B) ∧ (¬C ∨¬D ∨ E) |= (A ∨ B) ∧ (¬D ∨ E).
j. (A ∨ B)∧ ¬(A ⇒ B) is satisfiable.
k. (A ⇔ B) ∧ (¬A ∨ B) is satisfiable.
l. (A ⇔ B) ⇔ C has the same number of models as (A ⇔ B) for any fixed set of proposition symbols that includes A, B, C.
Step by Step Solution
3.33 Rating (162 Votes )
There are 3 Steps involved in it
In all cases the question can be resolved easily by referring to the definition of entailment a Fals... View full answer
Get step-by-step solutions from verified subject matter experts
Study Help