Why $P(A+B)$ is equal to$ P(A)+P(B)−P(B|A)P(A)$ if $A$ and $B$ are dependent events?












0












$begingroup$


I understand why $P(A+B)=P(A)+P(B)−P(AB)$ for independent events. After all, if $A$ and $B$ share same outcomes (like event $A$ is that a die will show an even number, while $B$ is the same die showing a prime number. $2$ is a prime number, so they share outcome) then by just adding their probabilities we double count their shared outcomes (We need to remember that $A+B$ means probability that at the least one outcome of either $A$ or $B$ will take place. So shared outcomes cause double counting). We compensate it by using "$-P(AB)$", i.e. we take away probability that a shared outcome will happen.



Alas, but the same logic doesn't seem to work for dependent events, there is no need for shared outcomes for two events to be dependent. I just don't understand why we need "$−P(B|A)P(A)$" instead of "$-P(AB)$".



Even a hint would be appreciated.










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    $P(Acap B)=P(Bmid A)P(A)$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 7 at 5:10






  • 1




    $begingroup$
    It's true for all events.
    $endgroup$
    – Michael Rozenberg
    Jan 7 at 5:13










  • $begingroup$
    Oops. Seems like I totally missed fact that P(AB)=P(B|A)P(A), silly me. So the formula is universal for all events, no matter is independent or not.
    $endgroup$
    – user161005
    Jan 7 at 5:17
















0












$begingroup$


I understand why $P(A+B)=P(A)+P(B)−P(AB)$ for independent events. After all, if $A$ and $B$ share same outcomes (like event $A$ is that a die will show an even number, while $B$ is the same die showing a prime number. $2$ is a prime number, so they share outcome) then by just adding their probabilities we double count their shared outcomes (We need to remember that $A+B$ means probability that at the least one outcome of either $A$ or $B$ will take place. So shared outcomes cause double counting). We compensate it by using "$-P(AB)$", i.e. we take away probability that a shared outcome will happen.



Alas, but the same logic doesn't seem to work for dependent events, there is no need for shared outcomes for two events to be dependent. I just don't understand why we need "$−P(B|A)P(A)$" instead of "$-P(AB)$".



Even a hint would be appreciated.










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    $P(Acap B)=P(Bmid A)P(A)$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 7 at 5:10






  • 1




    $begingroup$
    It's true for all events.
    $endgroup$
    – Michael Rozenberg
    Jan 7 at 5:13










  • $begingroup$
    Oops. Seems like I totally missed fact that P(AB)=P(B|A)P(A), silly me. So the formula is universal for all events, no matter is independent or not.
    $endgroup$
    – user161005
    Jan 7 at 5:17














0












0








0





$begingroup$


I understand why $P(A+B)=P(A)+P(B)−P(AB)$ for independent events. After all, if $A$ and $B$ share same outcomes (like event $A$ is that a die will show an even number, while $B$ is the same die showing a prime number. $2$ is a prime number, so they share outcome) then by just adding their probabilities we double count their shared outcomes (We need to remember that $A+B$ means probability that at the least one outcome of either $A$ or $B$ will take place. So shared outcomes cause double counting). We compensate it by using "$-P(AB)$", i.e. we take away probability that a shared outcome will happen.



Alas, but the same logic doesn't seem to work for dependent events, there is no need for shared outcomes for two events to be dependent. I just don't understand why we need "$−P(B|A)P(A)$" instead of "$-P(AB)$".



Even a hint would be appreciated.










share|cite|improve this question











$endgroup$




I understand why $P(A+B)=P(A)+P(B)−P(AB)$ for independent events. After all, if $A$ and $B$ share same outcomes (like event $A$ is that a die will show an even number, while $B$ is the same die showing a prime number. $2$ is a prime number, so they share outcome) then by just adding their probabilities we double count their shared outcomes (We need to remember that $A+B$ means probability that at the least one outcome of either $A$ or $B$ will take place. So shared outcomes cause double counting). We compensate it by using "$-P(AB)$", i.e. we take away probability that a shared outcome will happen.



Alas, but the same logic doesn't seem to work for dependent events, there is no need for shared outcomes for two events to be dependent. I just don't understand why we need "$−P(B|A)P(A)$" instead of "$-P(AB)$".



Even a hint would be appreciated.







probability






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 7 at 11:10









Gnumbertester

435111




435111










asked Jan 7 at 5:09









user161005user161005

19112




19112








  • 3




    $begingroup$
    $P(Acap B)=P(Bmid A)P(A)$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 7 at 5:10






  • 1




    $begingroup$
    It's true for all events.
    $endgroup$
    – Michael Rozenberg
    Jan 7 at 5:13










  • $begingroup$
    Oops. Seems like I totally missed fact that P(AB)=P(B|A)P(A), silly me. So the formula is universal for all events, no matter is independent or not.
    $endgroup$
    – user161005
    Jan 7 at 5:17














  • 3




    $begingroup$
    $P(Acap B)=P(Bmid A)P(A)$.
    $endgroup$
    – Lord Shark the Unknown
    Jan 7 at 5:10






  • 1




    $begingroup$
    It's true for all events.
    $endgroup$
    – Michael Rozenberg
    Jan 7 at 5:13










  • $begingroup$
    Oops. Seems like I totally missed fact that P(AB)=P(B|A)P(A), silly me. So the formula is universal for all events, no matter is independent or not.
    $endgroup$
    – user161005
    Jan 7 at 5:17








3




3




$begingroup$
$P(Acap B)=P(Bmid A)P(A)$.
$endgroup$
– Lord Shark the Unknown
Jan 7 at 5:10




$begingroup$
$P(Acap B)=P(Bmid A)P(A)$.
$endgroup$
– Lord Shark the Unknown
Jan 7 at 5:10




1




1




$begingroup$
It's true for all events.
$endgroup$
– Michael Rozenberg
Jan 7 at 5:13




$begingroup$
It's true for all events.
$endgroup$
– Michael Rozenberg
Jan 7 at 5:13












$begingroup$
Oops. Seems like I totally missed fact that P(AB)=P(B|A)P(A), silly me. So the formula is universal for all events, no matter is independent or not.
$endgroup$
– user161005
Jan 7 at 5:17




$begingroup$
Oops. Seems like I totally missed fact that P(AB)=P(B|A)P(A), silly me. So the formula is universal for all events, no matter is independent or not.
$endgroup$
– user161005
Jan 7 at 5:17










1 Answer
1






active

oldest

votes


















2












$begingroup$

Sometimes a figure is worth a thousand words:



enter image description here






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3064674%2fwhy-pab-is-equal-to-papb%25e2%2588%2592pbapa-if-a-and-b-are-dependent-eve%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    2












    $begingroup$

    Sometimes a figure is worth a thousand words:



    enter image description here






    share|cite|improve this answer









    $endgroup$


















      2












      $begingroup$

      Sometimes a figure is worth a thousand words:



      enter image description here






      share|cite|improve this answer









      $endgroup$
















        2












        2








        2





        $begingroup$

        Sometimes a figure is worth a thousand words:



        enter image description here






        share|cite|improve this answer









        $endgroup$



        Sometimes a figure is worth a thousand words:



        enter image description here







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 7 at 5:15









        David G. StorkDavid G. Stork

        10.8k31432




        10.8k31432






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3064674%2fwhy-pab-is-equal-to-papb%25e2%2588%2592pbapa-if-a-and-b-are-dependent-eve%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

            Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

            A Topological Invariant for $pi_3(U(n))$