# What is the type of "A implies B"?

There are many deductions with different flavor to show that is logical to think proposition $A \implies B$ is true when A is false. For example:

In classical logic, why is (p⇒q) True if both p and q are False?

In classical logic, why is (p⇒q) True if p is False and q is True?

All of above responses directly or indirectly, use this statement:

“p implies q” means that if p is true, then q must also be true.

My question is not in about "Why that may be formally logical". I want to know what is the type of above statement about the meaning of "$\implies$". Is that a definition? An axiom? A theorem? or ...? Really I want to find the root and reliable source reference which presented that meaning. I think there must be a famous book or reference in about logic which is the root of that meaning and all mathematicians accept that. So I can rely to that for similar questions.

Update:

In WIKIPEDIA, you can see:

Definitions of the material conditional:
Logicians have many different views on the nature of material implication and approaches to explain its sense ...
As a truth function
In classical logic, the compound p→q is logically equivalent to the negative compound: not both p and not q.
As a formal connective
... Unlike the truth-functional one, this approach to logical connectives permits the examination of structurally identical propositional forms in various logical systems, where somewhat different properties may be demonstrated.

If above vision be true, then “p implies q” means that ... will be a definition. Is this true?

• In modern time was "codified" by Frege in his Begriffsschrift (1879), See also the post what-is-the-origin-of-the-truth-table-in-logic. Sep 18, 2016 at 6:38
• @MauroALLEGRANZA OK! Thank you for your reply. I try to find an online PDF of Begriffsschrift . I found that, but that was a scanned PDF and not searchable. Also it uses special notation which causes understanding it hard. Finally I did not understand Is that a definition? An axiom? A theorem? or ...?  Sep 18, 2016 at 19:05
• @MauroALLEGRANZA The link in your comment does not work. Sep 19, 2016 at 1:59
• See here. It is an "analysis" of how math language works. Sep 19, 2016 at 5:46
• In classical logic, you can take as a definition that $A \implies B$ is the same as $B \vee \lnot A$. Sep 19, 2016 at 6:11

The definition of the conditional in logic is simply a choice, in the same way that we choose that multiplication has higher precedence over addition in arithmetic. Sure, there are reasons for the choice, but it is silly to expect there to be some famous reference from which it comes, especially when the reasons for the choice are easily arrived at independently by every logician.

Specifically, in natural language we have conditional expressions of the form "If A then B.". Now this has many possible meanings and subtle nuances, such as when used with the subjunctive or imperative. It is completely reasonable to want to choose one specific meaning for the logical form "$A \to B$" just so that it is tidy. Since logic was meant to be for reasoning about facts, the obvious choice is the meaning when both A and B are declarative sentences. That meaning considers the natural language sentence to be valid exactly according to a certain truth table, and we simply adopt that same truth table for the logical form.

By doing so we of course end up with a logical connective that does not capture any other meaning of the natural language conditional except that which we chose.

• When I asked this question, I did not know that is a definition and it is important to know the reason of any thing in learning mathematics. For example we read about Axioms and Postulates in Geometry and discuss them. So it was important for me (not silly) to know type of represented statement. Sep 19, 2016 at 6:39
• @hasanghaforian: Your question itself is not silly, but it is silly to expect everything to arise from a famous reference. Mathematics in general is rarely built by fame. Indeed it is important to know the reason of every thing in mathematics, including precisely what are definitions, what are axioms, and what are derived from them. Continue that throughout your mathematical study and it will be of great help to you. Sep 19, 2016 at 6:46
• @hasanghaforian: I guess one point you might be missing is that one is free to define the conditional differently from the current convention, and hence get results that look different, simply because the same symbols are used with different meaning. The underlying mathematics may well be identical, in the same way that two sentences in different languages may convey the same meaning. Sep 19, 2016 at 6:47

My position, as already given in my answer to one of the linked questions would be that the statement

$p\Rightarrow q$ means that if $p$ is true, then $q$ is also true

is an explanation of how mathematicians use the English words "if" and "then", assuming that you already know the meaning of the $\Rightarrow$ symbol (which is defined by its truth table).

• OK! But who did present this meaning? Which reference does represent that? Sep 18, 2016 at 3:28
• @hasanghaforian: Are you asking for a historical first for the use of implication as as a sentence-forming connective with that particular truth table? My immediate guess would be either Boole or Frege (with Peano as a runner-up), but I have no actual sources to check that in. Sep 18, 2016 at 3:32
• Nearly. I think there must be a famous book or reference in about logic which is the root of that meaning and all mathematicians accept that. So I can rely to that for similar questions Sep 18, 2016 at 3:48

'A implies B' is a statement that, in the metalanguage of a logical system, says that the conditional 'A ⟹ B' is tautological. Basically, it's a meta-statement about a relationship of two statements in the system.