P2 is false: a proposition can be false in a world without existing in that world (truth is world-re...