  We 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.
