Logical equivalence: Revision history

11 March 2025

• curprev 03:5403:54, 11 March 2025 Citation bot talk contribs 6,606 bytes +24 Added publisher. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Metalogic | #UCB_Category 21/23 undo

26 January 2025

• curprev 04:0704:07, 26 January 2025 Tc14Hd talk contribs m 6,582 bytes +6 →In logic undo
• curprev 04:0604:06, 26 January 2025 Tc14Hd talk contribs 6,576 bytes +107 →Logical equivalences involving biconditionals undo
• curprev 03:5703:57, 26 January 2025 Tc14Hd talk contribs 6,469 bytes +135 →Logical equivalences: Replaced double arrows by single arrows undo

21 February 2024

• curprev 10:2710:27, 21 February 2024 Aaronlearns talk contribs m 6,334 bytes +65 Added XOR equivalence to biconditional statements undo

7 July 2023

• curprev 23:3323:33, 7 July 2023 TennisFans talk contribs m 6,269 bytes +11 →Relation to material equivalence undo

29 December 2022

• curprev 17:1217:12, 29 December 2022 81.110.184.237 talk 6,258 bytes +96 No edit summary undo

14 October 2022

• curprev 23:0723:07, 14 October 2022 Hondo77 talk contribs 6,162 bytes +39 Importing Wikidata short description: "Concept in logic" undo Tag: Shortdesc helper

9 September 2022

• curprev 01:5401:54, 9 September 2022 WalkingRadiance talk contribs 6,123 bytes −49 →Logical equivalences involving conditional statements: accidentally duplicated identity undo Tags: Manual revert Visual edit
• curprev 01:5301:53, 9 September 2022 WalkingRadiance talk contribs 6,172 bytes +49 →Logical equivalences involving conditional statements: new example added undo Tags: Reverted Visual edit

11 January 2022

• curprev 19:2019:20, 11 January 2022 Nullzero talk contribs 6,123 bytes −258 remove low quality source, see the talk page undo
• curprev 19:0519:05, 11 January 2022 Nullzero talk contribs 6,381 bytes −533 Remove claims unsubstantiated and inaccurate. See the talk page for details undo

29 December 2021

• curprev 21:4121:41, 29 December 2021 Mgkrupa talk contribs m 6,914 bytes +22 Added {{Mathematical logic}} undo

11 December 2021

• curprev 13:1413:14, 11 December 2021 Citation bot talk contribs 6,892 bytes +21 Add: isbn, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Mathematical logic | #UCB_Category 12/207 undo

2 November 2021

• curprev 12:1712:17, 2 November 2021 MrOllie talk contribs 6,871 bytes −255 See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

19 June 2021

• curprev 21:2521:25, 19 June 2021 Mechachleopteryx talk contribs 7,126 bytes −4 →Relation to material equivalence undo Tags: Mobile edit Mobile web edit Advanced mobile edit

26 May 2021

• curprev 03:3803:38, 26 May 2021 164.70.90.166 talk 7,130 bytes +11 change symbol of material equivalence from iff to leftrightarrow to differ from logic equivalance undo
• curprev 03:3603:36, 26 May 2021 164.70.90.166 talk 7,119 bytes +11 Change the symbol of material equivalence to differ from Logic equivalence undo Tag: Visual edit

6 December 2020

• curprev 11:4611:46, 6 December 2020 Vieque talk contribs m 7,108 bytes +45 Disambiguated: ≡ → Mathematical Operators (Unicode block)#Block undo

5 December 2020

• curprev 23:3423:34, 5 December 2020 Monkbot talk contribs m 7,063 bytes −99 Task 18 (cosmetic): eval 4 templates: del empty params (9×); del |url-status= (1×); undo Tag: AWB

30 November 2020

• curprev 11:5211:52, 30 November 2020 Thecurran talk contribs 7,162 bytes +97 →See also: + URL: linked ↔ → Arrow (symbol)#Arrows_in_Unicode undo
• curprev 11:4611:46, 30 November 2020 Thecurran talk contribs 7,065 bytes +33 →See also: * URL: overlinked ⇔ → its Arrows (Unicode block) undo
• curprev 11:3611:36, 30 November 2020 Thecurran talk contribs 7,032 bytes +95 →See also: + URL: linked ⇔ → Blackboard bold for double struck characters undo
• curprev 11:2011:20, 30 November 2020 Thecurran talk contribs 6,937 bytes +135 →See also: + URL: linked logical equivalence ∷ → its Mathematical Operators (Unicode block) undo
• curprev 11:1811:18, 30 November 2020 Thecurran talk contribs 6,802 bytes +51 →See also: + URL: linked iff → ≡, its triple bar symbol undo

13 November 2020

• curprev 16:5916:59, 13 November 2020 142.114.128.99 talk 6,751 bytes +4 →General logical equivalences undo Tag: Manual revert
• curprev 16:5916:59, 13 November 2020 142.114.128.99 talk 6,747 bytes −4 →General logical equivalences undo Tag: Reverted

19 October 2020

• curprev 17:3517:35, 19 October 2020 Mindmatrix talk contribs m 6,751 bytes +1 Reverted edits by 182.180.84.87 (talk) to last version by 135.23.197.114 undo Tag: Rollback
• curprev 09:1409:14, 19 October 2020 182.180.84.87 talk 6,750 bytes −1 →General logical equivalences undo Tag: Reverted

8 October 2020

• curprev 00:3600:36, 8 October 2020 135.23.197.114 talk 6,751 bytes −204 Merge duplicate refs. undo Tag: Visual edit

21 September 2020

• curprev 15:3815:38, 21 September 2020 JayBeeEll talk contribs 6,955 bytes −285 Undid revision 976631590 by Miaumee (talk) Per User talk:Miaumee, this is apparently the preferred response to poor editing undo Tag: Undo

4 September 2020

• curprev 02:3502:35, 4 September 2020 Miaumee talk contribs 7,240 bytes +285 General revision throughout the page. Improved inline citations. Unduplicate the GeeksforGeeks citation. Rephrased sentences to prevent flow disruption. Minor punctuation fixes. Broken down lengthy sentences. undo Tags: Reverted Visual edit

12 June 2020

• curprev 01:3601:36, 12 June 2020 InternetArchiveBot talk contribs 6,955 bytes +136 Bluelink 1 book for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

9 June 2020

• curprev 04:0504:05, 9 June 2020 YourAverageMax talk contribs 6,819 bytes −1 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

24 March 2020

• curprev 13:0213:02, 24 March 2020 68.99.65.50 talk 6,820 bytes −2 No edit summary undo
• curprev 13:0113:01, 24 March 2020 68.99.65.50 talk 6,822 bytes +23 No edit summary undo
• curprev 13:0013:00, 24 March 2020 68.99.65.50 talk 6,799 bytes +13 →General logical equivalences{{Cite web|url=https://www.geeksforgeeks.org/mathematical-logic-propositional-equivalences/|title=Mathematics {{!}} Propositional Equivalences|date=2015-06-22|website=GeeksforGeeks|language=en-US|access-date=2019-11-24}} undo

19 December 2019

• curprev 21:0121:01, 19 December 2019 Citation bot talk contribs m 6,786 bytes −8 Alter: edition. | You can use this bot yourself. Report bugs here.| Activated by User:Grimes2 | Category:CS1 maint: extra text | via #UCB_Category undo

25 November 2019

• curprev 00:1300:13, 25 November 2019 Miaumee talk contribs 6,794 bytes +1,553 Revision and expansion throughout the page. Improved citations. Redid Reference section to favor superscript citations. Fixes on grammar, punctuation and wording to improve pacing and flow. Logical equivalence now has a separate portion for its usage in math. Tables of equivalences are now titled with headings. undo Tag: Visual edit

6 November 2019

• curprev 16:4316:43, 6 November 2019 Jarble talk contribs m 5,241 bytes +24 linking undo

9 September 2019

• curprev 03:1603:16, 9 September 2019 BrownHairedGirl talk contribs m 5,217 bytes +11 replace link to deleted Portal:Thought (aka Portal:Thinking) with Portal:Philosophy + Portal:Psychology undo Tag: AWB

13 February 2019

• curprev 21:0221:02, 13 February 2019 AnomieBOT talk contribs m 5,206 bytes +19 Dating maintenance tags: {{Full citation needed}} undo
• curprev 20:4220:42, 13 February 2019 Jarble talk contribs 5,187 bytes +24 This citation includes an author's name, but it doesn't include the title of the work(s) that are cited here. undo

27 January 2019

• curprev 12:3312:33, 27 January 2019 89.0.201.60 talk 5,163 bytes +2 →Example: Sorry. I've forgotten. undo
• curprev 12:3212:32, 27 January 2019 89.0.201.60 talk 5,161 bytes +1 →Example: '''d''' is much better than '''e''', because of the alphabetical order and because an '''f''' remembers too much of a function. undo

4 December 2018

• curprev 06:4606:46, 4 December 2018 DesolateReality talk contribs 5,160 bytes −48 →Logical equivalences: Change the literal \textbf{T} and \textbf{F} to the symbolic verum (\top) and falsum (\bot) undo
• curprev 06:4006:40, 4 December 2018 DesolateReality talk contribs 5,208 bytes −23 Deleted an extra p<=> q at the end of the introduction undo

24 November 2018

• curprev 16:5016:50, 24 November 2018 Thewikibeagles talk contribs 5,231 bytes +23 No edit summary undo

9 September 2018

• curprev 04:0104:01, 9 September 2018 128.113.152.153 talk 5,208 bytes −1 →Relation to material equivalence undo

3 September 2018

• curprev 06:0506:05, 3 September 2018 112.203.101.2 talk 5,209 bytes +1 No edit summary undo