Ahora lo leemos del siguiente modo: o bien P es verdadera, o bien su negación ¬P lo es.