Revision history of "double negative elimination" (Q13425)

21 July 2023

• curprev 17:5617:56, 21 July 2023 Fire talk contribs 2,047 bytes +421 ‎Created claim: part of (P7): double negation (Q13426)
• curprev 08:1808:18, 21 July 2023 Fire talk contribs 1,626 bytes +776 ‎Created claim: subclass of (P1): removal (Q6814)
• curprev 08:1708:17, 21 July 2023 Fire talk contribs 850 bytes +419 ‎Created claim: instance of (P2): rule of replacement (Q1256)

20 July 2023

• curprev 15:2815:28, 20 July 2023 Fire talk contribs 431 bytes +431 ‎Created a new Item: double negative elimination, inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula