SOLUTION: Hello, I'm having an issue with a problem. (the stars signify the dots) Regular Proof: 1.~E 2.~(E*D)>F 3.(~FvB)*(~FvC) / Av(B*C) As well as this one too: Regular Proof:

Algebra.Com
Question 984556: Hello,
I'm having an issue with a problem. (the stars signify the dots)
Regular Proof:
1.~E
2.~(E*D)>F
3.(~FvB)*(~FvC) / Av(B*C)
As well as this one too:
Regular Proof:
1. ~ Bv(B>~A)
2. (B>~A)>(~C*D)
3.~B>~C / C>~C
This ~ is a tilde and these > represent "horseshoe"
Answer by solver91311(24713)   (Show Source): You can put this solution on YOUR website!


1.   ~E
2.   ~(E ● D) → F
3.   (~F V B) ● (~F V C)   |  A V (B ● C)
-----------------------------------------
4.   ~E V ~D               1     Disjunction Introduction
5.   ~(E ● D)              4     De Morgan
6.   F                     2, 5  Modus Ponens
7.   (~F V B)              3     Conjunction Elimination
8.   B                     6, 7  Disjunctive Syllogism
9.   (~F V C)              3     Conjunction Elimination
10.  C                     6, 9  Disjunctive Syllogism
11.  B ● C                 8, 10 Conjunction Introduction
12.  .: A V (B ● C)        11    Disjunction Introduction

■

John

My calculator said it, I believe it, that settles it

RELATED QUESTIONS

1. A -> ~(B v C) 2. ~D -> (~A -> ~E) 3. ~(~E v F) 4. ~F -> (A -> B) /D I don't... (answered by Edwin McCravy)
can i have help solving this proof please? Construct a regular proof to derive the... (answered by jim_thompson5910)
Solve the proof: 1. (AvB)->D 2. D-> (c->E) 3. A&C :. E (answered by jim_thompson5910)
Solve the following proof: 1. A -> B 2. B -> ~A 3. (A v D) v E 4. (D v E) -> F (answered by math_helper)
Help me solve the following using an indirect proof. I am including what I have so far.... (answered by jim_thompson5910)
can i have help solving these proofs a regular proof to derive the conclusion of the... (answered by jim_thompson5910)
I am working with sets. My sets are as follows: U = {a, b, c, d, e, f, g, h, i, j, k,... (answered by solver91311)
Natural Deduction How do I solve the proof: 1. (Av~B)⊃((A•C)⊃B) 2. ~B (answered by Edwin McCravy)
What is the determinant of the matrix F and G F= 0 3 0 0 0 a 2 b c d (answered by ikleyn,math_tutor2020)