Jump to content

Biconditional introduction: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 12:3812:38, 1 August 2023‎ Bexandre2002 talk contribs‎ m 2,457 bytes +1‎ No edit summary undo

curprev 20:4720:47, 9 September 2022‎ Immanuelle talk contribs‎ 2,456 bytes +55‎ Adding short description: "Inference in propositional logic" undo Tag: Shortdesc helper

curprev 17:2917:29, 13 June 2022‎ SamanthaNguyen talk contribs‎ 2,401 bytes +381‎ + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

curprev 21:2521:25, 14 January 2019‎ Guy Macon talk contribs‎ 2,020 bytes −19‎ Spamming templates into dozens of articles. Undid revision 877940481 by MisterCake (talk) undo Tag: Undo

curprev 21:5621:56, 11 January 2019‎ MisterCake talk contribs‎ 2,039 bytes +19‎ →‎References undo

curprev 20:5520:55, 14 November 2018‎ Texvc2LaTeXBot talk contribs‎ m 2,020 bytes +1‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 12:1412:14, 30 August 2018‎ RussBot talk contribs‎ m 2,019 bytes +8‎ Robot: fix links to disambiguation page Validity undo

curprev 11:4811:48, 1 August 2014‎ 200.40.120.147 talk‎ 2,011 bytes +69‎ No edit summary undo

curprev 11:0511:05, 6 July 2013‎ Graham87 talk contribs‎ m 1,942 bytes 0‎ 1 revision from nost:Biconditional introduction: import old edit from the Nostalgia Wikipedia, see User:Graham87/Import undo

curprev 09:0809:08, 6 May 2013‎ 24.20.241.252 talk‎ 1,942 bytes +12‎ No edit summary undo

curprev 06:5706:57, 20 February 2013‎ Legobot talk contribs‎ m 1,930 bytes −29‎ Bot: Migrating langlinks to WP:Wikidata - d:q4903714 undo

curprev 01:4201:42, 21 September 2012‎ 69.133.116.18 talk‎ 1,959 bytes 0‎ →‎Formal notation undo

curprev 20:2420:24, 10 March 2012‎ Gregbard talk contribs‎ m 1,959 bytes −16‎ clean up using AWB undo

curprev 21:5421:54, 6 March 2012‎ Gregbard talk contribs‎ 1,975 bytes −23‎ rm () undo
curprev 20:3520:35, 6 March 2012‎ Gregbard talk contribs‎ m 1,998 bytes +9‎ bring ule to front undo
curprev 20:0820:08, 6 March 2012‎ Gregbard talk contribs‎ m 1,989 bytes +17‎ disambig undo

curprev 04:2704:27, 4 March 2012‎ Gregbard talk contribs‎ 1,972 bytes +952‎ expand undo
curprev 01:4501:45, 4 March 2012‎ Gregbard talk contribs‎ 1,020 bytes +45‎ added Category:Theorems in propositional logic using HotCat undo

curprev 21:2121:21, 22 February 2012‎ Arthur Rubin talk contribs‎ 975 bytes +947‎ restore actual rule undo

curprev 15:1915:19, 21 February 2012‎ AvicBot talk contribs‎ m 28 bytes −6‎ Robot: Fixing double redirect to If and only if undo
curprev 05:1005:10, 21 February 2012‎ Dooooot talk contribs‎ 34 bytes −975‎ ←Redirected page to Material equivalence undo
curprev 05:0005:00, 21 February 2012‎ Dooooot talk contribs‎ 1,009 bytes +34‎ No edit summary undo

curprev 09:4409:44, 18 February 2012‎ Gregbard talk contribs‎ 975 bytes +238‎ Template:Transformation rules using AWB undo

curprev 20:5220:52, 18 August 2011‎ Gamewizard71 talk contribs‎ 737 bytes +36‎ added Category:Propositional calculus using HotCat undo
curprev 20:5120:51, 18 August 2011‎ Gamewizard71 talk contribs‎ 701 bytes −19‎ removed Category:Logic using HotCat undo
curprev 20:5120:51, 18 August 2011‎ Gamewizard71 talk contribs‎ 720 bytes +32‎ added Category:Mathematical logic using HotCat undo

curprev 03:2503:25, 11 December 2010‎ 99.69.132.75 talk‎ 688 bytes +1‎ No edit summary undo

curprev 18:1718:17, 14 November 2010‎ Jim.belk talk contribs‎ 687 bytes +23‎ Added rules of inference navbox undo

curprev 05:1005:10, 12 September 2010‎ KamikazeBot talk contribs‎ m 664 bytes +29‎ robot Adding: eo:Dukondiĉa enkonduko undo

curprev 19:1319:13, 6 September 2010‎ 99.4.164.245 talk‎ 635 bytes −141‎ →‎See also undo

curprev 08:4808:48, 23 June 2010‎ SmackBot talk contribs‎ m 776 bytes +44‎ →‎See also: fix defaultsort using AWB undo

curprev 03:2503:25, 4 June 2009‎ Erik9bot talk contribs‎ 732 bytes +95‎ add template:unreferenced or dated subcategory of Category:Articles lacking sources undo

curprev 09:2909:29, 8 September 2008‎ VolkovBot talk contribs‎ m 637 bytes +29‎ robot Adding: eo:Dukondiĉa enkonduko undo

curprev 14:4714:47, 16 July 2008‎ 122.3.205.58 talk‎ 608 bytes +1‎ No edit summary undo
curprev 14:4614:46, 16 July 2008‎ 122.3.205.58 talk‎ 607 bytes 0‎ No edit summary undo

curprev 02:0602:06, 10 June 2008‎ 68.198.136.226 talk‎ 607 bytes −36‎ No edit summary undo
curprev 02:0402:04, 10 June 2008‎ 68.198.136.226 talk‎ 643 bytes +36‎ No edit summary undo

curprev 14:0614:06, 21 July 2007‎ CBM talk contribs‎ 607 bytes −20‎ →‎See also: switch stub type undo

curprev 06:1706:17, 11 July 2007‎ Gregbard talk contribs‎ m 627 bytes +34‎ No edit summary undo

curprev 12:4012:40, 23 June 2007‎ Gregbard talk contribs‎ m 593 bytes −1‎ No edit summary undo
curprev 12:3912:39, 23 June 2007‎ Gregbard talk contribs‎ m 594 bytes +1‎ →‎See also undo
curprev 12:3912:39, 23 June 2007‎ Gregbard talk contribs‎ m 593 bytes +8‎ No edit summary undo
curprev 12:3812:38, 23 June 2007‎ Gregbard talk contribs‎ m 585 bytes +35‎ No edit summary undo

curprev 15:1815:18, 20 January 2007‎ CBM talk contribs‎ m 550 bytes 0‎ typo in stub tag undo
curprev 15:0815:08, 20 January 2007‎ CBM talk contribs‎ 550 bytes +33‎ sharpen category undo
curprev 15:0015:00, 20 January 2007‎ CBM talk contribs‎ 517 bytes −38‎ rm category mathematical terminology undo

curprev 12:3312:33, 18 November 2006‎ Jitse Niesen talk contribs‎ 555 bytes +126‎ wikify undo

curprev 22:2222:22, 28 September 2006‎ Bluebot talk contribs‎ 429 bytes +13‎ Unicodifying, added wikify tag undo

curprev 20:0620:06, 12 March 2005‎ Sketchee talk contribs‎ m 416 bytes +50‎ Category: Logic Category: Mathematical terminology undo

curprev 12:4712:47, 15 January 2003‎ Patrick talk contribs‎ m 366 bytes −2‎ No edit summary undo

Retrieved from "https://en.wikipedia.org/wiki/Biconditional_introduction"