2
$\begingroup$

I am trying to prove a statement of the form:

If A and B, then C.

Is this equivalent to the following statement?

Given A, if B, then C.

  • 0
    If "Given A, if B, then C." means A|=(B->C), or A|-(B->C) [A proves or yields (B->C)], and "If A and B, then C." means either of the above, in some sense the two statements come as equivalent, in some sense they do not come as equivalent since one happens in the metalanguage and the other in the object language.2011-10-17

2 Answers 2

7

I will interpret your question as asking whether the two statements $(A\land B)\implies C$ and $A\implies(B\implies C)$ are logically equivalent. They are.

To verify this, we can proceed slowly, by calculating the truth-table for each. Not too bad, only $8$ entries for each table. We can cut down the work by noting that if $A$ is false, each of our two sentences is easily seen to be true.

Or else we can proceed "algebraically." The sentence $(A\land B)\implies C$ is logically equivalent to $\lnot(A\land B) \lor C$, which in turn is equivalent to $(\lnot A \lor \lnot B)\lor C$.

The sentence $A\implies(B\implies C)$ is logically equivalent to $\lnot A \lor(B\implies C)$, which in turn is equivalent to $\lnot A \lor (\lnot B \lor C)$. Now we are essentially finished.

  • 0
    You can also cut down the work, but noting that if (1^x)==x, and (1->x)==x, where "==" indicates logical equivalence. So, if "a" is true, then we have ((1^b)->c))==(b->c) and (1->(b->c))==(b->c) for both statements, so they come as equivalent.2011-10-17
-1

$(A \wedge B) \Rightarrow C$ means that when $A$ and $B$ are both true, so is $C$. No surprises here...

But your statement, $A \wedge (B \Rightarrow C)$ is different, since the conditional $B \Rightarrow C$ can be true when $B$ is false.

  • 2
    I would say that "Given A, if B then C" means what André said, not what The said.2011-10-17