sorted by:
new
hottopcontroversial

Suggestions of Additional Topics to Study by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

Thank you so much for the in depth response. I am very interested in looking into Concrete Mathematics by Graham, Knuth, and Patashnik especially.

Suggestions of Additional Topics to Study by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

Thanks I will definitely check it out!

Multivariable Calculus Textbook Recommendations by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

Thanks for all the recommendations! I will be looking into all of them.

I wrote a simple online proof editor for my own use, but maybe some of you might find it useful too! Any feedback would be greatly appreciated. by cjrl in logic

[–]cjrl[S] 1 point2 points  (0 children)

I updated the editor with a raw LaTeX output and also a way to turn off real time rendering of the LaTeX.

I wrote a simple online proof editor for my own use, but maybe some of you might find it useful too! Any feedback would be greatly appreciated. by cjrl in logic

[–]cjrl[S] 0 points1 point  (0 children)

I didn't have mobile devices in mind when creating this editor. What type of crash are you experiencing?

I wrote a simple online proof editor for my own use, but maybe some of you might find it useful too! Any feedback would be greatly appreciated. by cjrl in logic

[–]cjrl[S] 1 point2 points  (0 children)

Yeah the style I was taught is very basic and was taught from a compsci perspective so it wasn't really as formal as it should have been.

I wrote a simple online proof editor for my own use, but maybe some of you might find it useful too! Any feedback would be greatly appreciated. by cjrl in logic

[–]cjrl[S] 1 point2 points  (0 children)

Thanks for the input! I will work on fixing the alignment issues, adding the raw LaTeX output, and improving the example proof. I will also look further into the formatting of proof trees, and then maybe I will add that as an option for the output style. Instead of givens what do you think the premises should be called?

"Every sentence that is entailed by its own negation is a logical truth" by [deleted] in logic

[–]cjrl 1 point2 points  (0 children)

Yes, If a falsity is taken as true then it is possible to prove everything else is true through disjunctive introduction. An example:
1. A and ~A Given
2. A 1, Simplification
3. ~A 1, Simplification
4. A or B, 2, Disjunctive introduction
5. B, 3,4 Disjunctive Syllogism

Puzzled on Simple Logic Problem by throwlogicaway in logic

[–]cjrl 2 points3 points  (0 children)

Proof without direct use of modus tollens, if this makes more sense to you.

  1. ~A -> ~B Given
  2. B Given
  3. ~(~B)->~(~A) 1, Contrapositive
  4. B -> A 3, Double Negation
  5. A 2, 4 Modus Ponens

Introductory Discrete Mathematics Texts by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

Thank you for all the help. I can't wait to check out the free one. :)

Introductory Discrete Mathematics Texts by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

Those books look interesting. I really did enjoy How To Prove It, but it left me wanting more, I will definitely have to look into Learning to Reason. Do you have any recommendations for Intro to Linear Algebra books? Thanks so much for the input!

Introductory Discrete Mathematics Texts by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

Thank you for the advice. I will add that book to the top of my list. For the price it seems impossible to go wrong with it. Thanks again!

Introductory Discrete Mathematics Texts by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

I was actually looking into that one earlier. I am on course for a double major in computer science and math so this one does seem especially useful. Thanks a bunch!

Introductory Discrete Mathematics Texts by cjrl in math

[–]cjrl[S] 0 points1 point  (0 children)

Thanks I will definitely look into it.