Additive inferences

[03mikki93]

Hello,

I was wondering if someone can help explain this to me. Why doesn't this diagram have an inference?
G H some I

Couldn't we have said I some are G ?

[Dave Killoran]

Hi Mikki,

It's because inference are always true, and nothing between G and I must be true. To see how that works, imagine there are 5 Gs, 100 Hs and 10 Is.

We know that every G is an H, so there are 5 GH pairs. Is it certain that any of those GH pairs also overlaps with those 10 Is? They could, but they don't have to. And since they don't have to, no inference can be drawn.

The larger that H group is, the easier it is to see why no inference can be drawn for sure here. And it's a good thing to learn since they do test this idea enough that you want to be rock solid on it

Thanks!

[03mikki93]

Thank you so much.