ابتكر استراتيجية لإثبات أنه إذا كانت عبارة "P ضمنًا Q" صحيحة، فإن عبارة "لا Q تعني عدم P" يجب أن تكون صحيحة أيضًا.
{"source": "argilla/distilabel-reasoning-prompts", "kind": "synthetic", "evolved_from": null}