Conditional Logic - need help with interpretation

pfjddreampfjddream Free Trial Member
edited January 2015 in Logic Games 24 karma
I am confused between the difference of these two forms of conditional logic

not A -> B
not B -> A


A -> not B
B -> not A

Do both forms above really mean either or, but not both?

In one of the games explanations, I remember coming across a point that starting with a negative term as the sufficient condition, meaning where the absence of a sufficient condition guarantees a necessary condition is somehow different than starting with a positive term for the sufficient where the presence of a sufficient condition guarantees the necessary condition. BUT I am having trouble seeing if there is a difference in the meaning of the above two forms and hat kinds of inference I can make from them.

Can someone please clarify this? I am really confused.




  • jdawg113jdawg113 Alum Inactive ‚≠ź
    2654 karma
    nope, think of worlds, the top means you can have no A but have B, have no B but have A, or have A & B
    the bottom means you have A but not B, B but not A, or Neither A or B
  • pfjddreampfjddream Free Trial Member
    24 karma

    So the first one is either or (possibly both) and the second one is either or but not both
Sign In or Register to comment.