Conditional Reasoning Diagramming Drill #7

[andriana.caban]

Hi!

I have a question on Chapter 3.

My question has to do with the Conditional Reasoning Diagramming exercise in the Logic Games Bible, question 7 on page 72.

I diagrammed it as follows:

Please note that my use of bracket ([ ]) was to replicate the block over two variables.

[KG] [FKG]
[FKG] [KG]

But the answer located on page (75) shows the following relationship as the contrapositive for the first conditional I diagrammed:
[FK] [KG]

Why is it only [FK] [KG] and not what I diagrammed?

[Dave Killoran]

Hi Andriana,

It's because the FKG was a result of the sufficient conditional occurring in the first example. Technically the rule is KG FK. But, if we know the sufficient condition happens (KG), we can add it to that necessary condition to show the complete result when KG happens (so, not just FK but FKG). However, in the contrapositive, the condition being negated is just FK; it doesn't have to be all of FKG.

Thanks!