«Cita lògica bicondicional»: Historial de revisions

Simbologia: (act) = diferència amb la versió actual, (prev) = diferència amb la versió anterior, m = modificació menor