P Implies Q Not P Or Q