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 ->  Proofs -> 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:      Log On


   

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) About Me  (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