P es cierta y ~P es cierta, que se lee "P es cierta y no P es cierta".