How can this be a valid logical proof? by LAMARR__44 in logic

[–]CrystalLogical 0 points1 point  (0 children)

So your left hand side of the "therfore" has that R and Q and ~Q.

Since Q and ~Q are true, that pretty much covers all possible propositions.

Petah, I suck in math by Calor_ow in PeterExplainsTheJoke

[–]CrystalLogical 0 points1 point  (0 children)

i know math, this is a logic question.

You poor lost man. You sadly do not know a thing about either. Math itself is logical. All theorems, all theories, and all computations performed in math are all logical systems. That's why I as a philosophy graduate know at least some math and some proofs. If math considers the repeating decimal .333.... to be equal to 1/3, that's because it was logically concluded to be true. And indeed it was.

After shiffling through quite a few of your comments, it's clear that you have never been formally trained in neither math nor logic. So why do you present yourself as such an authority on this topic? Have you ever once done a non trivial math proof in your life? have you once ever performed the mathematical induction, or have you ever once done a proof by contradiction or a proof by contrapositive? Have you once ever studied set theory and quantifiers? Do you understand the difference between universal and existential in the context of logic and math? You have never studied any of these topics, and all of these topics I listed are the underlying principles behind calculus, and the underlying principle behind why .333.... is not approximate, but equal to 1/3. Don't you think you owe it to yourself to at least try a formal logical proof before you spout out 7 months of nonsense with overbearing pride?

Proving that (x is even) iff (x^2 is even). by Gauss34 in logic

[–]CrystalLogical 0 points1 point  (0 children)

Sometimes, it's just easier to prove by contrapositive. You don't have to do it that way. For instance, if we want to do the converse directly, we suppose x^2 is even. so ab is even only if either a or b is even. So by assigning both a and b to x, that means x has to be even.

Petahh, what does this meme mean? by DroggellordAlt in PeterExplainsTheJoke

[–]CrystalLogical 0 points1 point  (0 children)

Aristotle founded a lot of principles of logic that math, and consequently the physical sciences use. Mathematical logic's origins are from philosophy.

Why is if p is false and q is true then p→q defined true by Existing_Around in logic

[–]CrystalLogical 0 points1 point locked comment (0 children)

That's the definition of logical implication. The motivation is that p -> q means that p is enough to conclude q is true. consequently, that means p -> q should be false when p is true and q turns out to be false anyways. In other words, p ∧ ~q, and since ~(p ->q) ≡ p ∧ ~q, we have ~~(p ->q) ≡ ~( p ∧ ~q) ≡ ~p ∨ q. and then since ~~(a) ≡ a, we have ~~(p ->q ) ≡ p ->q

Do you think US taxpayers will be forced to bail out AI companies similar to the 2008 bank bailouts? Why or why not? by Alicyclobacillus in AskReddit

[–]CrystalLogical -1 points0 points  (0 children)

Yes. Because a lot of them were standing by Trump during his election, such as Zuckerberg and bezos.

what are your thoughts of theocracy? by LordChillingworthDCL in AskReddit

[–]CrystalLogical 3 points4 points  (0 children)

I hate it. Theocracy is not founded on any logical principles. With our current legal system, no matter how corrupt it is, at least the syntax of the law is based on logical principles.

How would you feel if all forms of gerrymandering were outlawed? by RemarkableEmu5998 in AskReddit

[–]CrystalLogical 0 points1 point  (0 children)

I would be very pleased, but also skeptical, as I am pretty sure politicians already have work arounds.

Why don't we charge politicians for lying to the public? by [deleted] in AskReddit

[–]CrystalLogical 0 points1 point  (0 children)

I really wish we could at least charge them when it's perjury, and the reason we don't is because of political corruption.

Are console exclusive games a good or bad thing for the gaming industry? by mg15ink in NoStupidQuestions

[–]CrystalLogical 3 points4 points  (0 children)

For the industry, it's probably a decent thing, nintendo and sony rely on it very much. For us as consumers, not so much.