Argumento lógico aplicando leyes del algebra proposicional