Register to reply

Help me parse the logic of this statement

by Poopsilon
Tags: logic, parse, statement
Share this thread:
Mar17-12, 11:17 AM
P: 294
So I have this statement that I'm supposed to prove and I cannot for the life of me figure out what parts I'm allowed to assume and what part I am expected to prove, here it is:

The residue of an analytic function f at a singularity a ∈ ℂ is the uniquely determined complex number c, such that the function
[tex]f(z) - \frac{c}{z-a}[/tex]
admits a primitive in a punctured neighborhood of the point a. (end statement)

I know I'm allowed to assume that f is analytic with a singularity at a, but beyond that I just can't tell if it's a biconditional I have to prove, or if it's just a conditional and if so which way. Thanks
Phys.Org News Partner Mathematics news on
Heat distributions help researchers to understand curved space
Professor quantifies how 'one thing leads to another'
Team announces construction of a formal computer-verified proof of the Kepler conjecture
Mar17-12, 11:42 AM
Sci Advisor
HW Helper
P: 7,172
I think if means prove two things.

1. The residue is a uniquely determined complex number c.
2. f(x) has the property stated.
Mar17-12, 02:28 PM
P: 294
Thanks for your input Aleph, but it's not the answer I want to hear lol. Can I get a second opinion?

Register to reply

Related Discussions
Translating a statement to logic. Calculus & Beyond Homework 0
Logic: Logical Status of Statement Forms Calculus & Beyond Homework 7
Logic: Negating if then statement Calculus & Beyond Homework 5
Proof of a simple logic statement Precalculus Mathematics Homework 3
Statement logic, negation Precalculus Mathematics Homework 2