P=> (P^q) önermesi neye denktir​