Luego, los siguientes son axiomas lógicos: