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.Com
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)   (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

RELATED QUESTIONS

Parick Hurley edition 11 Logic I, using first 13 rules of implication and replacement (answered by jim_thompson5910)
prove the argument is valid using the method of natural deduction: 1. (~N wedge R)... (answered by math_tutor2020)
Solve the following proof using the methods of natural deduction, as you did in the HW... (answered by solver91311)
Here is a proof that I have been unable to solve. I can solve it using Indirect Proof... (answered by richard1234)
Use the first eight implication rules to create a proof of the following argument. 1. B... (answered by Edwin McCravy)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
I can only use the 8 implicational rules 1. (A v ~B) >(F v (R . G)) 2. A 3. F > L 4. (answered by jim_thompson5910)
Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)