Propositional function: 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 18:1918:19, 11 March 2024 BD2412 talk contribs m 3,545 bytes −1 →Overview: clean up spacing around commas and other punctuation fixes, replaced: , → , undo Tag: AWB

curprev 11:0911:09, 22 November 2021 LilyKitty talk contribs 3,546 bytes +25 about homogenous relations and truth function undo

curprev 21:0521:05, 30 July 2020 مانفی talk contribs 3,521 bytes +21 No edit summary undo

curprev 23:4523:45, 3 July 2020 Ivtue talk contribs m 3,500 bytes +1 "a open" -> "an open" undo Tag: Visual edit

curprev 15:1115:11, 6 May 2020 Wikisaurus talk contribs 3,499 bytes +28 it should certainly be mentioned! undo

curprev 13:5013:50, 7 September 2019 109.166.128.100 talk 3,471 bytes +8 →Overview: assigned undo
curprev 12:2912:29, 7 September 2019 109.166.128.100 talk 3,463 bytes +2 →Overview: consider undo
curprev 12:2712:27, 7 September 2019 109.166.128.100 talk 3,461 bytes +33 free variable undo

curprev 17:5317:53, 3 September 2019 185.53.197.61 talk 3,428 bytes +8 →Overview: open formula undo
curprev 15:1815:18, 3 September 2019 185.53.197.61 talk 3,420 bytes +45 →Overview: individual value from a domain undo

curprev 07:5907:59, 23 May 2019 94.65.216.254 talk 3,375 bytes −90 rv last edit per WP:V undo

curprev 11:5311:53, 2 January 2019 Shayzam talk contribs 3,465 bytes +107 Added example undo Tags: Visual edit Mobile edit Mobile web edit

curprev 03:4703:47, 26 September 2018 Deacon Vorbis talk contribs m 3,358 bytes +4 →top: derp undo
curprev 00:4200:42, 26 September 2018 Deacon Vorbis talk contribs m 3,354 bytes −5 →top: formatting undo

curprev 23:4323:43, 20 August 2018 Rgdboer talk contribs 3,359 bytes +368 lk Propositional calculus, Logical truth, False (logic), Relation (mathematics), Arity, Binary relation, Heterogeneous relation undo

curprev 21:0121:01, 17 August 2018 Rgdboer talk contribs 2,991 bytes +428 cite Lewis undo

curprev 12:2012:20, 21 June 2016 67.198.37.16 talk 2,563 bytes +20 →See also: Open sentence undo
curprev 12:1912:19, 21 June 2016 67.198.37.16 talk 2,543 bytes −160 remove merge tag, per talk page undo

curprev 18:0918:09, 7 December 2015 Ost316 talk contribs m 2,703 bytes +1 Cleaned up using AutoEd undo

curprev 22:4522:45, 29 October 2015 TE5ITA talk contribs 2,702 bytes +77 Reworded sentence to avoid ambiguity / remove incorrect detail undo
curprev 22:3822:38, 29 October 2015 TE5ITA talk contribs m 2,625 bytes +24 Added subscripts undo

curprev 15:3615:36, 7 October 2015 67.198.37.16 talk 2,601 bytes +16 →See also: wikilink undo
curprev 15:3515:35, 7 October 2015 67.198.37.16 talk 2,585 bytes +110 add a see-also section undo

curprev 14:1514:15, 27 June 2015 74.80.55.79 talk 2,475 bytes −2 Propositional functions should not be called statements. undo

curprev 17:2617:26, 2 July 2014 Orenburg1 talk contribs m 2,477 bytes 0 sp undo

curprev 13:4013:40, 10 June 2014 182.19.20.14 talk 2,477 bytes +142 →See also undo

curprev 00:5700:57, 7 March 2013 Addbot talk contribs m 2,335 bytes −85 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q3606768 undo

curprev 00:4400:44, 23 January 2013 YFdyh-bot talk contribs m 2,052 bytes +30 r2.7.3) (Robot: Adding es:Función proposicional undo

curprev 00:3800:38, 20 August 2012 JYBot talk contribs m 2,022 bytes +34 r2.7.1) (Robot: Adding fa:تابع گزاره‌ای undo

curprev 06:5106:51, 25 March 2012 Helpful Pixie Bot talk contribs m 1,988 bytes +4 ISBNs (Build J/) undo

curprev 20:1720:17, 23 February 2012 Gregbard talk contribs 1,984 bytes +33 added Category:Logical expressions using HotCat undo
curprev 20:1720:17, 23 February 2012 Gregbard talk contribs 1,951 bytes +29 added Category:Predicate logic using HotCat undo
curprev 20:1520:15, 23 February 2012 Gregbard talk contribs 1,922 bytes +12 removed Category:Logic; added Category:Concepts in logic using HotCat undo

curprev 16:3716:37, 9 June 2011 Linas talk contribs 1,910 bytes +57 add wikilinks undo

curprev 16:5416:54, 27 May 2011 Uncle uncle uncle talk contribs 1,853 bytes +1 definitely propositional function undo

curprev 21:4521:45, 30 September 2010 Rgdboer talk contribs 1,852 bytes +283 lk set, primitive notion, Principles of Mathematics undo

curprev 06:0006:00, 20 January 2010 Izno talk contribs 1,569 bytes −13 debold. undo

curprev 16:4516:45, 31 October 2009 Montblanc1988 talk contribs 1,582 bytes +21 No edit summary undo

curprev 15:3815:38, 25 August 2009 Thekohser talk contribs 1,561 bytes +9 fix typo undo
curprev 15:3815:38, 25 August 2009 Thekohser talk contribs 1,552 bytes +28 →See also: Propositional formula undo
curprev 15:3315:33, 25 August 2009 Thekohser talk contribs 1,524 bytes +1,488 Creating a new article, rather than a less-relevant redirect. undo

curprev 23:4223:42, 13 August 2007 Arthur Rubin talk contribs m 36 bytes −21 Reverted edits by 218.133.184.93 (talk) to last version by Michael Hardy undo

curprev 19:1119:11, 9 May 2007 218.133.184.93 talk 57 bytes +21 ←Redirected page to Function (mathematics) undo

curprev 02:2702:27, 18 March 2004 Michael Hardy talk contribs m 36 bytes +14 No edit summary undo

curprev 14:2414:24, 18 May 2003 TakuyaMurata talk contribs 22 bytes +22 #REDIRECT Function

11 March 2024

22 November 2021

30 July 2020

3 July 2020

6 May 2020

7 September 2019

3 September 2019

23 May 2019

2 January 2019

26 September 2018

20 August 2018

17 August 2018

21 June 2016

7 December 2015

29 October 2015

7 October 2015

27 June 2015

2 July 2014

10 June 2014

7 March 2013

1 February 2013

23 January 2013

20 August 2012

25 March 2012

23 February 2012

9 June 2011

27 May 2011

30 September 2010

20 January 2010

31 October 2009

25 August 2009

13 August 2007

9 May 2007

18 March 2004

18 May 2003