das problem ist unter anderem, daß einem hier die Grice'schen Maximen zwischenfunken. eliminiert man diese (vor allem die der quantität und die der relevanz), dann ist's ganz einfach.

nur ein beispiel: der satz einige heilige waren märtyrer ist eben auch dann wahr, wenn tatsächlich alle heiligen märtyrer waren. aber nicht umgekehrt! das heißt, aus einige folgt nie alle. das ist etwas, das wir in der alltagssprache automatisch so auffassen. warum sollte jemand "einige" sagen, wenn "alle" auch wahr ist? er wäre nicht mehr kooperativ (weil nicht relevant). das ist das, was uns an diesen aufgaben so schwer fällt: daß wir relevanz von wahr/falsch nicht zu trennen vermögen.

übrigens hilft bei diesen aufgaben immer ein mengendiagramm. dann wird sofort klar, was schlüssig ist und was nicht. also, man male sich eine menge der heiligen und eine menge der märtyrer (unter der annahme, daß gilt: einige heilige waren märtyrer schneiden sie sich und bilden eine menge der heiligen, die auch märtyrer waren, sowie zwei mengen der nicht-heiligen und der nicht-märtyrer, die sich schneiden können, aber nicht müssen. jedenfalls nicht nach der prämisse).