Bewerkingsgeschiedenis van Universele generalisatie

30 nov 2009

• huidigvorige 19:4530 nov 2009 19:45‎ Simeon overleg bijdragen‎ k 924 bytes +9‎ Categorie:Logica verwijderd; Categorie:Afleidingsregel toegevoegd (HotCat.js) ongedaan maken

28 jun 2009

• huidigvorige 22:5128 jun 2009 22:51‎ De Wikischim overleg bijdragen‎ k 915 bytes +9‎ Geen bewerkingssamenvatting ongedaan maken

26 dec 2006

• huidigvorige 17:4926 dec 2006 17:49‎ Simeon overleg bijdragen‎ k 906 bytes +20‎ plus link ongedaan maken

1 dec 2006

• huidigvorige 17:301 dec 2006 17:30‎ Simeon overleg bijdragen‎ 886 bytes +43‎ plus voorwaarde ongedaan maken
• huidigvorige 17:271 dec 2006 17:27‎ Simeon overleg bijdragen‎ 843 bytes +102‎ plus "zie ook", min gebruik van math bij constante ongedaan maken
• huidigvorige 17:141 dec 2006 17:14‎ Simeon overleg bijdragen‎ 741 bytes +741‎ Pagina aangemaakt: "In de predicatenlogica is '''universele generalisatie''' ('''UG''') een afleidingsregel die uit een willekeurig object uit het domein een a..."