how to prove

From: Helen2007 <helen.ackers_at_googlemail.com>
Date: Fri, 10 Feb 2012 17:18:39 -0800 (PST)
Message-ID: <7d9bd8e8-0491-4688-9fbe-b715af1c35e0_at_w1g2000vbg.googlegroups.com>

dear all

How can I prove Qa: p(X,Y) is not contained in Qb: p(A,'a')? I have proved the containment in the other direction using mapping, but not sure how to proceed with this case.

Thanks in advance
Helen Received on Sat Feb 11 2012 - 02:18:39 CET

This message: [ Message body ]
Next message: compdb_at_hotmail.com: "Re: how to prove"
Previous message: A. M. G. Solo: "Call for Papers & Sessions: The 2012 International Conference on Software Engineering Research and Practice (SERP'12), USA, July 16-19, 2012"
Next in thread: compdb_at_hotmail.com: "Re: how to prove"
Reply: compdb_at_hotmail.com: "Re: how to prove"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message