Changes related to "Logical equivalence"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
29 August 2015
- (diff | hist) . . Double negation; 10:28 . . (-12) . . 2a02:8433:3580:3d00:5635:30ff:fea8:d0b6 (→Double negative elimination: <math>\Rightarrow</math> is certainly more appropriate)
- (diff | hist) . . Logical consequence; 05:44 . . (+1) . . 2602:306:8034:c990:fcdf:d265:1115:cb05 (Undid revision 678384447 by 184.108.40.206 (talk) It is the relationship that holds, not the statements)
- (diff | hist) . . Logical consequence; 01:49 . . (-1) . . 220.127.116.11