2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/92197We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new axioms, valid only inside the quantum computer. The result is that, in this logical framework, symmetry and paraconsistency hold.5 pages LaTeX. Submitted to a special issue of IJQI, proceedings of the FQI04, Camerino, ItalyQuantum PhysicsMathematical PhysicsLogictext