Dicha proposición es una instancia particular de una ley lógica, una tautología o, lo que viene a ser lo mismo