5
$\begingroup$

I'm seeing math logic and I have a question.

Let $p$ be a proposition. Let's suppose I have $\lnot p$.

By disjunction rule, this implies $\lnot p \vee q$, where $q$ is any proposition.

This is equivalent (looking at the truth tables) to $p \implies q$

Does this mean that we only have to prove $\lnot p$ in order to prove $p \implies q\;$?

  • 0
    You can click accept on the appropriate answer. The tick mark is next to the vote arrows.2011-06-13

4 Answers 4

3

This is correct. A false statement implies anything. However, in practice, we do not always prove an implication by proving the premise is never true; hence, this technique has limited scope.

  • 0
    Maybe to make my point more precisely, the semantic content of ~p is irrelevant to arriving at p-->q. In sentence logic, the semantic content is reduced to either T or F. As an example, if p were "All buildings are Red" (in a universe where this is false), then I can conclude anything in 2-valued sentence logic, without making use of the fact that buildings are not red. It is only the formal, syntactic relations that I need to conclude p->q, not the inner semantic content.2011-06-13
3

As has already been said, yes, it is true.

In mathematical work, the usual net effect of this fact is that if we wish to prove $p \longrightarrow q$, we do not need to even think about the situations in which $p$ is false, so we don't.

So for example if we want to prove that every finite integral domain is a field (crudely, $p$ is then "is finite integral domain" and $q$ is "is field") there is no reason to bother examining things that are not finite integral domains.

Although "false implies everything" is in the background of the way we use "implies," it is seldom if ever explicitly invoked by most working mathematicians.

  • 0
    He isn't talking about "false implies everything". That phrase, basically means "a logical contradiction implies any proposition", which can get formally written as CKpNpq, where K stands for conjunction, and "q" some arbitrary proposition. He's talking about "if not p, then if p then q." We have two hypotheses here, while "false implies everything" has only one. From the hypothesis "not p" along with the hypothesis "p" if may conjoin them into "not p AND p". Then we have a falsity. But, we need to have some way to conjoin them first (a rule of conjunction introduction) before that happens.2011-06-12
1

If the logic involved come as a two-valued logic, then yes. However, if we have some other system of logic involved, perhaps, perhaps not. To see what's going on here, consider how from Np (the negation of p) we can legitimately infer Cpq (that's (p->q) in Polish notation). Now, "from Np, we may infer Cpq", though it could get used as such, doesn't usually get taken as a basic rule of inference for two-valued propositional logic. Instead, CNpCpq exists as a theorem of classical two-valued logic. Consequently if "Np" gets proven, then by application of modus ponendo ponens (the rule of detachment, conditional elimination), we can obtain "Cpq". So, we can simply obtain a proof for Cpq also by adding one "Cpq" to the end of the proof of "Np". So, basically if a system of logic has the rule of modus ponendo ponens, has CNpCpq as a logical theorem, then in order to prove Cpq, you just have to prove Np.

0

As previous answers state $\lnot p$ implies $p \to q$ (the converse however is not true).

I'll just provide some motivation for such choice of truth values for material implication. Consider for example the the statement "for each natural number $x$, if $x$ is equally divisible by 4, then it is equally divisible by 2." You obviously want this statement to be true. Now if you take $x = 2$ then you'll have $false \to true$, and if you take $x = 5$ you'll have $false \to false$. Thus a $false$ statement implies everything.