SOLUTION: 1. X or Y Premise
2. ~X Premise
3. ?
Algebra.Com
Question 806075: 1. X or Y Premise
2. ~X Premise
3. ?
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
The conclusion is Y since ~X means "not X" and it basically says that "X is not true". So if we have "X or Y" and we know it's "not X", then it has to be Y
Again, the answer for slot 3 is Y
1. X or Y Premise
2. ~X Premise
3. Y
RELATED QUESTIONS
Using Inference Rules
Premise 1. (P * Q) > R
Premise 2. (P * Q) V S
Premise 3. ~ R (answered by Edwin McCravy)
Premise:
1.(∃x) (Ax • Bx) ∨ (∃x) (Cx ∨ Dx)
2.(∃x) (Ax ∨ Cx) ⊃ (x) Ex... (answered by textot)
Construct a formal proof in fitch format for the following:
1. Premise: A->B... (answered by solver91311)
Premise:
1.(∃x) (Ax • Bx) ⊃ (x) (Cx • Dx)
2.(∃x) Ax ⊃ (x) (Bx • Cx)
3.Ae
(answered by textot)
Premise 1: D⊃ [D⊃ (B & ~Q)]
Premise 2: (~Q & B)⊃ C
Conclusion:... (answered by jim_thompson5910)
Please help me solve this proof:
Premise 1: (E • I) v (M •U)
Premise 2: ~E... (answered by jim_thompson5910)
Use the quantifier negation rule together with the eighteen rules of inference to derive... (answered by textot)
Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)
I tried to prove this but I am lost on how to finish or am I done?
Proof:
∀ x, (answered by solver91311)