1. (T ● K) v (C ● E)
2. K ﬤ ~E
3. E ﬤ ~C             / T ● K

4. ~E v ~C            3, material implication
5. ~(E ● C)           4, DeMorgan
6. ~(C ● E)           5, commutation
7. T ● K            1,6, disjunctive syllogism

Edwin

1. (AvB) ⊃ C 
2. (CvD) ⊃ (EvF) 
3. A●~E             / F... (answered by Edwin McCravy)

Please help with this logic proof:

1. E v T
2. T -> (B * H)
3. (B v E) -> K           (answered by jim_thompson5910)

Hi i am really struggling to know how to answer one of my questions, in my SAC booklet... (answered by ankor@dixie-net.com)

construct a formal proof of validity for the following argument.
1. (M ⊃ N)... (answered by Edwin McCravy)

Can you help me solve this formal proof?
1. (C * K) v (L * T)
2. ~C v ~K :. L * T
3.... (answered by Edwin McCravy)

Proof by induction. Imagine that we are going to prove by induction that:

(1/sqrt(1))... (answered by ikleyn)

1. Use the laws on exponents for multiplication and division in simplifying the... (answered by ankor@dixie-net.com)

Tom is saving S dollars every week. In T weeks, he saves K dollars. What is the value T... (answered by Alan3354)

(1/sqrt(1)) + (1/sqrt(2)) + (1/sqrt(3)) + ... + (1/sqrt(n)) >= sqrt(n), for all n E Z^+

 (answered by ikleyn)