Bewerkingsgeschiedenis van Predicatenlogica

20 sep 2023

• huidigvorige 20:5220 sep 2023 20:52‎ Hoopje overleg bijdragen‎ 2.927 bytes −102‎ →‎Hogere-orde-predicatenlogica: Belangrijke aan hogere-orde logica is *kwantificatie* over predicaten. Opmerking over Russel-paradox weg; er bestaan HOLs waarin over alle ordes kan worden gekwantificeerd. ongedaan maken

17 nov 2020

• huidigvorige 20:4917 nov 2020 20:49‎ Madyno overleg bijdragen‎ 3.029 bytes −1‎ Geen bewerkingssamenvatting ongedaan maken

27 mei 2020

• huidigvorige 14:2127 mei 2020 14:21‎ 193.191.216.77 overleg‎ 3.030 bytes +1‎ waain gewijzigd in waarin ongedaan maken Label: Visuele tekstverwerker

9 mei 2020

• huidigvorige 12:179 mei 2020 12:17‎ Madyno overleg bijdragen‎ 3.029 bytes −5‎ →‎Eerste-orde-predicatenlogica ongedaan maken

8 mei 2020

• huidigvorige 22:088 mei 2020 22:08‎ Madyno overleg bijdragen‎ 3.034 bytes +66‎ Geen bewerkingssamenvatting ongedaan maken

4 aug 2017

• huidigvorige 19:134 aug 2017 19:13‎ ChristiaanPR overleg bijdragen‎ 2.968 bytes −55‎ Geen bewerkingssamenvatting ongedaan maken
• huidigvorige 19:034 aug 2017 19:03‎ ChristiaanPR overleg bijdragen‎ 3.023 bytes −124‎ Versie 48683426 van 2A02:A03F:26AA:4400:6976:2FC4:E6F4:100C (overleg) ongedaan gemaakt. ongedaan maken

28 feb 2017

• huidigvorige 14:4328 feb 2017 14:43‎ 2a02:a03f:26aa:4400:6976:2fc4:e6f4:100c overleg‎ 3.147 bytes +112‎ Een derde kwantor toegevoegd. ongedaan maken Label: Visuele tekstverwerker

8 mrt 2013

• huidigvorige 08:238 mrt 2013 08:23‎ Legobot overleg bijdragen‎ k 3.035 bytes −544‎ Verplaatsing van 20 interwikilinks die op Wikidata beschikbaar zijn op d:q35148 ongedaan maken

25 feb 2013

• huidigvorige 20:5125 feb 2013 20:51‎ JRB overleg bijdragen‎ 3.579 bytes 0‎ Mag het een hoofdletter blijven ? ongedaan maken

24 feb 2013

• huidigvorige 12:4524 feb 2013 12:45‎ 91.182.60.112 overleg‎ 3.579 bytes 0‎ →‎Eerste-orde-predicatenlogica ongedaan maken

21 jul 2012

• huidigvorige 11:4921 jul 2012 11:49‎ EmausBot overleg bijdragen‎ k 3.579 bytes +28‎ r2.7.3) (Robot: toegevoegd: ca:Lògica de predicats ongedaan maken

2 jul 2012

• huidigvorige 15:102 jul 2012 15:10‎ MerlIwBot overleg bijdragen‎ k 3.551 bytes +29‎ Robot: toegevoegd: pt:Lógica de predicados ongedaan maken

10 jan 2012

• huidigvorige 23:1410 jan 2012 23:14‎ WikitanvirBot overleg bijdragen‎ k 3.522 bytes +24‎ r2.7.1) (Robot: toegevoegd: eo:Predikata logiko ongedaan maken

27 nov 2011

• huidigvorige 18:5127 nov 2011 18:51‎ Vinvlugt overleg bijdragen‎ 3.498 bytes −1‎ onnodige witregel ongedaan maken

30 sep 2011

• huidigvorige 05:2530 sep 2011 05:25‎ KamikazeBot overleg bijdragen‎ k 3.499 bytes +21‎ r2.7.1) (Robot: toegevoegd: ko:술어 논리 ongedaan maken

16 sep 2011

• huidigvorige 11:0116 sep 2011 11:01‎ JAnDbot overleg bijdragen‎ k 3.478 bytes −421‎ r2.5.2) (Robot: verwijderd: ar, es, he, id, it, ko, pl, pt, ru, sr, uk, gewijzigd: fa, zh ongedaan maken

1 aug 2011

• huidigvorige 10:061 aug 2011 10:06‎ Jvhertum overleg bijdragen‎ 3.899 bytes +2‎ cat ongedaan maken

29 jun 2011

• huidigvorige 23:2429 jun 2011 23:24‎ Foxie001 overleg bijdragen‎ 3.897 bytes +3‎ koppen ongedaan maken

23 jun 2011

• huidigvorige 21:2223 jun 2011 21:22‎ MerlIwBot overleg bijdragen‎ k 3.894 bytes +415‎ Robot: toegevoegd: pt:Lógica de primeira ordem,id:Logika predikat tingkat pertama,pl:Rachunek predykatów pierwszego rzędu,ru:Логика первого порядка,he:שפה מסדר ראשון,ko,es,sr,uk,ar,it ongedaan maken

14 jun 2011

• huidigvorige 17:1814 jun 2011 17:18‎ Rp overleg bijdragen‎ k 3.479 bytes 0‎ typo ongedaan maken
• huidigvorige 17:1714 jun 2011 17:17‎ Rp overleg bijdragen‎ 3.479 bytes +281‎ ik ben geen logicus maar ik kon de eerste zin zo niet laten staan. verbeter waar mogelijk ongedaan maken

15 nov 2010

• huidigvorige 06:0115 nov 2010 06:01‎ Bob.v.R overleg bijdragen‎ k 3.198 bytes +53‎ leesbaarheid van symbolen ongedaan maken
• huidigvorige 05:5915 nov 2010 05:59‎ Bob.v.R overleg bijdragen‎ k 3.145 bytes +30‎ vierkantje vervangen door leesbaar symbool ongedaan maken

4 mei 2010

• huidigvorige 10:344 mei 2010 10:34‎ JAnDbot overleg bijdragen‎ k 3.115 bytes −29‎ robot Erbij: et:Predikaatloogika Eraf: he:שפה מסדר ראשון, ko:1차 논리 ongedaan maken

20 jul 2009

• huidigvorige 23:3820 jul 2009 23:38‎ De Wikischim overleg bijdragen‎ k 3.144 bytes +1‎ Geen bewerkingssamenvatting ongedaan maken
• huidigvorige 23:3820 jul 2009 23:38‎ De Wikischim overleg bijdragen‎ k 3.143 bytes +9‎ Geen bewerkingssamenvatting ongedaan maken

28 jun 2009

• huidigvorige 22:4228 jun 2009 22:42‎ De Wikischim overleg bijdragen‎ k 3.134 bytes +17‎ Geen bewerkingssamenvatting ongedaan maken

7 mei 2009

• huidigvorige 23:067 mei 2009 23:06‎ RudolphousBot overleg bijdragen‎ 3.117 bytes −28‎ -htmlentities ongedaan maken

2 nov 2008

• huidigvorige 13:252 nov 2008 13:25‎ Robbot overleg bijdragen‎ k 3.145 bytes −33‎ robot Eraf: sr:Исказни рачун ongedaan maken

8 okt 2008

• huidigvorige 10:268 okt 2008 10:26‎ JAnDbot overleg bijdragen‎ k 3.178 bytes −191‎ robot Eraf: es, it, pl, pt, ru ongedaan maken

19 jun 2008

• huidigvorige 08:4119 jun 2008 08:41‎ Thijs!bot overleg bijdragen‎ k 3.369 bytes +140‎ robot Erbij: af, fi, he, mk, simple, sr Eraf: uk ongedaan maken

28 feb 2008

• huidigvorige 20:1728 feb 2008 20:17‎ Theo Assen overleg bijdragen‎ k 3.229 bytes +20‎ linkcorrectie ongedaan maken

3 okt 2007

• huidigvorige 03:143 okt 2007 03:14‎ Thijs!bot overleg bijdragen‎ k 3.209 bytes +78‎ robot Erbij: pt:Lógica de primeira ordem, uk:Числення висловлень ongedaan maken
• huidigvorige 03:083 okt 2007 03:08‎ Thijs!bot overleg bijdragen‎ k 3.131 bytes +8‎ robot Erbij: el, sk Eraf: he, pt Anders: en ongedaan maken

5 sep 2007

• huidigvorige 14:145 sep 2007 14:14‎ Robbot overleg bijdragen‎ k 3.123 bytes −1‎ Robot-geholpen doorverwijzing: Wiskundige constante ongedaan maken

25 mei 2007

• huidigvorige 16:1325 mei 2007 16:13‎ 80.201.169.232 overleg‎ 3.124 bytes +21‎ Geen bewerkingssamenvatting ongedaan maken

30 apr 2007

• huidigvorige 12:1330 apr 2007 12:13‎ Spraakmakker overleg bijdragen‎ k 3.103 bytes 0‎ Geen bewerkingssamenvatting ongedaan maken
• huidigvorige 12:1230 apr 2007 12:12‎ Spraakmakker overleg bijdragen‎ k 3.103 bytes 0‎ Titel van Predikatenlogica gewijzigd over de redirect Predicatenlogica ongedaan maken

23 apr 2007

• huidigvorige 07:2623 apr 2007 07:26‎ Chobot overleg bijdragen‎ k 3.103 bytes +175‎ robot Erbij: es, fa, hu, it, ja, ko Anders: en, he, pl, zh ongedaan maken

6 apr 2007

• huidigvorige 19:156 apr 2007 19:15‎ Qwertyus overleg bijdragen‎ k 2.928 bytes −1‎ sp ongedaan maken

5 apr 2007

• huidigvorige 21:485 apr 2007 21:48‎ Madyno overleg bijdragen‎ 2.929 bytes +41‎ predikaat ongedaan maken
• huidigvorige 21:435 apr 2007 21:43‎ Madyno overleg bijdragen‎ 2.888 bytes −40‎ c->k ongedaan maken
• huidigvorige 21:425 apr 2007 21:42‎ Madyno overleg bijdragen‎ k 2.928 bytes 0‎ Titel van Predicatenlogica gewijzigd over de redirect Predikatenlogica: spelling ongedaan maken

4 feb 2007

• huidigvorige 19:304 feb 2007 19:30‎ Gpvosbot overleg bijdragen‎ k 2.928 bytes +28‎ Robot-geholpen doorverwijzing: Formule ongedaan maken

16 dec 2006

• huidigvorige 17:0716 dec 2006 17:07‎ 200.17.143.31 overleg‎ 2.900 bytes +33‎ Geen bewerkingssamenvatting ongedaan maken

31 jul 2006

• huidigvorige 14:3631 jul 2006 14:36‎ Robbot overleg bijdragen‎ k 2.867 bytes +19‎ Robot-geholpen doorverwijzing: Relatie ongedaan maken

15 jul 2006

• huidigvorige 00:0015 jul 2006 00:00‎ Jupiler overleg bijdragen‎ 2.848 bytes 0‎ nieuwe sp ongedaan maken

14 jul 2006

• huidigvorige 23:5714 jul 2006 23:57‎ Jupiler overleg bijdragen‎ k 2.848 bytes 0‎ Titel van Predikatenlogica gewijzigd in Predicatenlogica: nieuwe sp ongedaan maken

4 mei 2006

• huidigvorige 10:174 mei 2006 10:17‎ Servien overleg bijdragen‎ k 2.848 bytes −3‎ Geen bewerkingssamenvatting ongedaan maken