1

"If it snows and we don't have school, then (x^3)<0 implies x is negative" (Assume x is a real number).

1

"If it snows and we don't have school, then (x^3)<0 implies x is negative" (Assume x is a real number).

9

A statement of the form "If X then Y" where Y is true, is always true *in classical logic*. If the consequent of a conditional is true, then **it matters neither what the antecedent is, nor whether there's any actual connection between them.**

In this case, your "Y" expresses a mathematical truth, so we can take it as being a proposition that is always and necessarily true (although from a mathematical point of view, not a logical one). Therefore, your particular "If X then Y" **is always true no matter what** your X is. For instance "If pigs can fly then x^3 < 0 implies x < 0" is likewise true.

It's worth nothing that **there are other systems of logic** that do try to explicitly capture relevance and/or causal relationships. Your statement might not be evaluated as true in one of those systems.

1You might want to add that x^3 is negative iff x is negative (considering real numbers; there is no ordering for complex numbers), so that Y is definitely true. – David Thornley – 2019-02-19T17:27:31.300

2One might add as a corollary that in a relevance logic this sentence may come out as false because there is no shared proposition or term between the antecedent and consequent. But as you say, in classical logic, and in most others that I can think of, it is true. – Bumble – 2019-02-19T19:18:03.747

@Bumble, David: Thanks for the suggestions, I have incorporated them. – Chris Sunami supports Monica – 2019-02-19T19:21:57.920

1I would write 'antecedent' instead of 'premise' in the first paragraph. Premises are parts of arguments, not of conditional statements. Arguments and conditional statements are different things in logic, though they are often confused. – Eliran – 2019-02-19T19:56:23.787

0

this could be simplified as :

**I like pineaple therefore sky is blue**

This is a false *statement*, the 2 *propositions* can be true, but they are connected with a *non-sequitur* falsely implying there is a connection.

6But the statement in the OP's question is not of the form "P, therefore Q", but of the form "if P, then Q". – Mauro ALLEGRANZA – 2019-02-19T19:15:09.747

@MauroALLEGRANZA , "if" [] "then" [] implies a strong logical cause/consequence , just like "therefore", so much so that programming languages use if/then. https://en.wikipedia.org/wiki/Conditional_(computer_programming)#If%E2%80%93then(%E2%80%93else)

– Manu de Hanoi – 2019-02-20T01:19:11.130
Any idea ? Why "argumentation" ? An

argumentneeds at least one premise and a conclusion; thus, more than one statement. – Mauro ALLEGRANZA – 2019-02-19T16:03:02.9171You need to be more specific. Do you mean is the statement true in reality or is the statement true in Mathematical logic. You should not believe every claim with the format "If . . . Then" format will be true on reality. As far as this being a homework question as written is an issue because all you did was ask the question without any work. You should explain why you are unsure, confused, or why you are lost with the question. Do you know truth tables at this point? A truthtable for the conditional connector would answer the question in Mathematical logic. – Logikal – 2019-02-19T16:07:30.580