Propositional variable: Revision history

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 06:3906:39, 2 July 2024‎ Cewbot talk contribs‎ m 4,117 bytes +191‎ Fixing broken anchor: Reminder of an inactive anchor: typical axioms of propositional calculus undo

curprev 18:2918:29, 5 May 2024‎ Thiagovscoelho talk contribs‎ 3,926 bytes +263‎ Cited name per request of voorts undo Tag: Visual edit

curprev 21:1721:17, 24 March 2024‎ Cewbot talk contribs‎ m 3,663 bytes −23‎ Fixing broken anchor: #Example 1. Simple axiom system→most alike anchor Propositional calculus#Example undo

curprev 23:5923:59, 21 February 2024‎ BD2412 talk contribs‎ m 3,686 bytes −18‎ clean up spacing around commas and other punctuation fixes, replaced: ,t → , t undo Tag: AWB

curprev 21:4721:47, 29 December 2021‎ Mgkrupa talk contribs‎ m 3,704 bytes +23‎ Added {{Mathematical logic}} undo

curprev 14:4914:49, 25 October 2021‎ MrOllie talk contribs‎ 3,681 bytes −234‎ See Wikipedia_talk:WikiProject_Spam#Mass_spam_of_mathvault.ca undo

curprev 12:5012:50, 21 October 2021‎ WOSlinker talk contribs‎ m 3,915 bytes −12‎ →‎See also: use div col undo

curprev 20:5920:59, 8 July 2021‎ Qwerfjkl talk contribs‎ m 3,927 bytes −3‎ Removed 'a(n)' from the beginning of the short description per WP:SDFORMAT, from a request at Wikipedia:Reward board. (via WP:JWB) undo

curprev 15:5715:57, 2 July 2021‎ 2600:1700:7261:6ad0:d5a5:af0:4a1e:1678 talk‎ 3,930 bytes +1‎ No edit summary undo

curprev 20:3120:31, 13 June 2021‎ 178.138.193.100 talk‎ 3,929 bytes −7‎ →‎Predicate logic: bound variables undo
curprev 00:1800:18, 13 June 2021‎ 178.138.194.229 talk‎ 3,936 bytes +32‎ →‎Predicate logic: free or bound var undo

curprev 21:5921:59, 12 June 2021‎ 178.138.194.229 talk‎ 3,904 bytes +328‎ →‎Predicate logic: zeroth order vs first order logic undo
curprev 17:2017:20, 12 June 2021‎ 178.138.192.229 talk‎ 3,576 bytes +32‎ truth function undo
curprev 14:5714:57, 12 June 2021‎ 178.138.192.229 talk‎ 3,544 bytes +21‎ →‎Predicate logic: propositional constants undo

curprev 00:4100:41, 3 March 2021‎ Mgkrupa talk contribs‎ 3,523 bytes +75‎ Update undo

curprev 18:0518:05, 8 September 2020‎ Bellowhead678 talk contribs‎ m 3,448 bytes +1‎ leters->letters - Fix a typo in one click undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 21:5221:52, 20 August 2020‎ Miaumee talk contribs‎ 3,447 bytes +1,221‎ General revision across the page. Improved citations. Phrasing changes for better clarity and flow. Removed duplicate spaces. Broken down long-winded sentences and paragraphs. Wikilinked keywords. Added "predicate variable" to See Also. Added References section. Move non-inline-cited books to Bibliography section. undo Tag: Visual edit

curprev 00:0200:02, 4 September 2019‎ 185.53.197.61 talk‎ 2,226 bytes +36‎ →‎Predicate logic: domain undo

curprev 19:5719:57, 2 September 2019‎ 185.53.197.61 talk‎ 2,190 bytes +21‎ →‎Predicate logic: singulars undo

curprev 01:4701:47, 1 September 2019‎ 109.166.134.237 talk‎ 2,169 bytes +248‎ →‎Predicate logic: predicate letters with individuals Pa, aRb undo

curprev 14:3614:36, 27 August 2019‎ 109.166.132.132 talk‎ 1,921 bytes −5‎ →‎In first order logic: predicate log undo

curprev 11:5711:57, 10 August 2019‎ 109.166.136.245 talk‎ 1,926 bytes −1‎ →‎Uses: can be defined undo

curprev 04:4504:45, 26 November 2014‎ Brirush talk contribs‎ m 1,927 bytes +30‎ No edit summary undo

curprev 08:1008:10, 28 February 2013‎ Addbot talk contribs‎ m 1,897 bytes −105‎ Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q3492863 (Report Errors) undo

curprev 14:0014:00, 27 November 2012‎ Tijfo098 talk contribs‎ 2,002 bytes +52‎ fix undo
curprev 13:5013:50, 27 November 2012‎ Tijfo098 talk contribs‎ 1,950 bytes +195‎ mention metavariable undo

curprev 10:5210:52, 4 March 2012‎ Gregbard talk contribs‎ 1,755 bytes −6‎ removed Category:Logical expressions; added Category:Logic symbols using HotCat undo

curprev 07:1907:19, 25 January 2012‎ Gregbard talk contribs‎ 1,761 bytes +33‎ added Category:Logical expressions using HotCat undo

curprev 22:0522:05, 28 November 2010‎ Amirobot talk contribs‎ m 1,728 bytes +30‎ [r2.5.2] robot Adding: es:Variable proposicional undo

curprev 07:3807:38, 22 July 2010‎ Woohookitty talk contribs‎ m 1,698 bytes +31‎ WikiCleaner 0.99 - Repairing link to disambiguation page - You can help! undo

curprev 22:5522:55, 16 July 2010‎ Gregbard talk contribs‎ m 1,667 bytes +31‎ Adding category Category:Concepts in logic (using HotCat) undo

curprev 12:5812:58, 4 May 2010‎ Cydebot talk contribs‎ m 1,636 bytes +3‎ Robot - Moving category Propositional logic to Propositional calculus per CFD at Wikipedia:Categories for discussion/Log/2010 April 17. undo

curprev 17:4817:48, 17 February 2010‎ 219.79.27.94 talk‎ 1,633 bytes +93‎ Added comment about propositional variables being the equivalent of nullary predicates in first order logic (and not variable symbols). undo

curprev 15:1715:17, 2 June 2009‎ Kbdank71 talk contribs‎ 1,540 bytes +3‎ →‎References: CFD 2009 May 25, replaced: Category:Sentential logic → Category:Propositional logic using AWB undo

curprev 19:2019:20, 24 April 2009‎ AndrewHowse talk contribs‎ m 1,537 bytes +25‎ Disambig links to dab page variable and general clean-up using AWB undo

curprev 14:4214:42, 8 April 2009‎ Kbdank71 talk contribs‎ m 1,512 bytes −4‎ Reverted to revision 234630247 by Aisaac; CFD 2009 Mar 28. using TW undo

curprev 22:0522:05, 27 March 2009‎ Gregbard talk contribs‎ 1,516 bytes +4‎ move category to Category:Propositional logic using AWB undo

curprev 19:2719:27, 27 August 2008‎ Aisaac talk contribs‎ m 1,512 bytes +26‎ No edit summary undo

curprev 20:1320:13, 11 June 2008‎ Giftlite talk contribs‎ m 1,486 bytes +1‎ →‎References: +* undo
curprev 20:1220:12, 11 June 2008‎ Giftlite talk contribs‎ m 1,485 bytes −2‎ mv refs down undo

curprev 18:2918:29, 7 June 2008‎ Thijs!bot talk contribs‎ m 1,487 bytes +28‎ robot Adding: cs:Výroková proměnná undo

curprev 05:3605:36, 1 May 2008‎ Gregbard talk contribs‎ m 1,459 bytes +27‎ aka undo

curprev 18:1118:11, 29 January 2008‎ Pdabrowiecki talk contribs‎ 1,432 bytes +24‎ Added link to polish wikipedia undo
curprev 14:0214:02, 29 January 2008‎ Pomte talk contribs‎ m 1,408 bytes −2‎ fix formatting undo

curprev 03:4803:48, 24 July 2007‎ Trovatore talk contribs‎ 1,410 bytes +8‎ dab ba undo

curprev 14:1114:11, 21 July 2007‎ CBM talk contribs‎ 1,402 bytes −4‎ →‎See also: switch stub type undo

curprev 15:3815:38, 30 May 2007‎ CBM talk contribs‎ 1,406 bytes −2‎ refine cat undo

curprev 16:1416:14, 17 June 2006‎ Mets501 talk contribs‎ m 1,408 bytes −3‎ clean up using AWB undo

curprev 01:1201:12, 10 May 2006‎ Foxjwill talk contribs‎ 1,411 bytes +20‎ No edit summary undo

curprev 16:5316:53, 9 May 2006‎ Julian Mendez talk contribs‎ m 1,391 bytes −56‎ No edit summary undo

2 July 2024

5 May 2024

24 March 2024

21 February 2024

29 December 2021

25 October 2021

21 October 2021

8 July 2021

2 July 2021

13 June 2021

12 June 2021

3 March 2021

8 September 2020

20 August 2020

4 September 2019

2 September 2019

1 September 2019

27 August 2019

10 August 2019

26 November 2014

28 February 2013

27 November 2012

4 March 2012

25 January 2012

28 November 2010

22 July 2010

16 July 2010

4 May 2010

17 February 2010

2 June 2009

24 April 2009

8 April 2009

27 March 2009

27 August 2008

11 June 2008

7 June 2008

1 May 2008

29 January 2008

24 July 2007

21 July 2007

30 May 2007

17 June 2006

10 May 2006

9 May 2006