Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have the following implication: $$f(s)\not= 0\Rightarrow g(s)=0$$ Then we can deduce that its converse is also true. $$g(s)\not= 0\Rightarrow f(s)=0$$ where $f:\mathbb{C}→\mathbb{R},\,\,g:\mathbb{C}→\mathbb{C}$ and $g$ is analytic, but $f$ is not.

My question is as follows: can I deduce that $$g(s)=0⇒f(s)≠0\,\,\,?$$

share|improve this question
1  
What is the relation between $f$ and $g$? Are they connected is some ways? –  B. S. Jan 5 '13 at 9:01
    
I have $g(s)=ϕ(s)g(2-s)$ and $f=arg(ϕ(s))$ the complex argument of $ϕ(s)$. –  ZE1 Jan 5 '13 at 9:03
    
That is a contrapostive not converse (difference, contrapostive is logically equivalent to the intial statement; knowing this saves you work.) –  PyRulez Jan 6 '13 at 3:02
    
What does analytic mean? –  PyRulez Jan 6 '13 at 3:21
add comment

2 Answers

up vote 4 down vote accepted

No. What if both functions are the zero function?

Also, you mean "contrapositive" and not "converse" in your second line.

share|improve this answer
add comment

No! Put $P$ for $f(s) = 0$, $Q$ for $g(s) = 0$.

Then you are given $\neg P \Rightarrow Q$.

As you say, you can contrapose to get $\neg Q \Rightarrow P$.

But it would be a fallacy to infer $Q \Rightarrow \neg P$.

You can't normally reverse conditionals, after all! You can have $A \Rightarrow B$ true while the transposed $B \Rightarrow A$ is false.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.