F → (B ∨ A)D → F¬(B ∨ A)..∴ ¬(D ∧ C)Which of the following can be derived from the premises?¬B ∨ ¬A¬(D ∨ C)¬B ∧ ¬A¬D
Question
F → (B ∨ A)D → F¬(B ∨ A)..∴ ¬(D ∧ C)Which of the following can be derived from the premises?¬B ∨ ¬A¬(D ∨ C)¬B ∧ ¬A¬D
Solution
The premises given are:
- F → (B ∨ A)
- D → F
- ¬(B ∨ A)
We are asked to derive which of the following conclusions:
- ¬B ∨ ¬A
- ¬(D ∨ C)
- ¬B ∧ ¬A
- ¬D
Let's go step by step:
-
¬B ∨ ¬A: This is the De Morgan's law equivalent of ¬(B ∨ A), which is one of the premises. So, this can be derived from the premises.
-
¬(D ∨ C): There is no information given about C in the premises, so we cannot derive any conclusion that involves C.
-
¬B ∧ ¬A: This is not equivalent to ¬(B ∨ A), so it cannot be derived from the premises.
-
¬D: From the second premise (D → F), we know that if D is true, then F is true. But from the third premise, we know that F is false (because F → (B ∨ A) and ¬(B ∨ A) are given). So, D must also be false. Therefore, ¬D can be derived from the premises.
So, the conclusions that can be derived from the premises are ¬B ∨ ¬A and ¬D.
Similar Questions
Show that the following formulas are tautologies:(a) ¬(A ^ B) , ¬A _ ¬B(b) A ) B , ¬B ) ¬A(c) ((A ) B) ^ (B ) A)) , (A , B)(d) (A _ B) ^ (¬B _ C) ) (A _ C)
. If A is true and B is true, what is the value of ¬A ∨ B?*4 points¬A ∨ B is True¬A ∨ B is False
Using Boolean laws simplify each of the following propositions:a. a ∧ b ∨ a ∧ ¬b
_ _ _ _ _ _ _ _ _ _ _ TC13: 9*∀z (h(z) ∧ s(z)) → ∃z m(z)h(y) → m(y)∀x(h(x) → m(x))h(y) ∧ s(y) → m(y)¬h(y) ∨ m(y)¬(h(y) ∧ s(y)) ∨ m(y)
1. Simplify the following logic expressions using algebraic manipulation:F ABCD BCD ACD
Upgrade your grade with Knowee
Get personalized homework help. Review tough concepts in more detail, or go deeper into your topic by exploring other relevant questions.