SOLUTION: Construct a proof using any basic rules and replacement rules. 1.(A v F) horseshoe ~(B • ~G) 2.~(B horseshoe G) 3.~S horseshoe (~T horseshoe A) 4.T horseshoe F The conclusio

Algebra ->  Proofs -> SOLUTION: Construct a proof using any basic rules and replacement rules. 1.(A v F) horseshoe ~(B • ~G) 2.~(B horseshoe G) 3.~S horseshoe (~T horseshoe A) 4.T horseshoe F The conclusio      Log On


   



Question 917547: Construct a proof using any basic rules and replacement rules.
1.(A v F) horseshoe ~(B • ~G)
2.~(B horseshoe G)
3.~S horseshoe (~T horseshoe A)
4.T horseshoe F
The conclusion is ~(S horseshoe ~B)
I would appreciate the rest of the work for this problem as soon as possible, thanks!

Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
We can't tell whether your horseshoes are like this: ᑌ, which has code
 or like this: ᑎ, which has code 
Both look like horseshoes. If you don't use those symbols, you'll do 
better saying "union" and "intersection".

Edwin