Beweren en bewijzen/de zuilen/Zekerheid/5. Natuurlijke deductie/propositielogica stellingen: versiegeschiedenis

Logboek voor deze pagina bekijken

Ga naar: navigatie, zoeken

Selectie voor verschillen: selecteer de te vergelijken versies en toets ENTER of de knop onderaan.
Verklaring afkortingen: (huidig) = verschil met huidige versie, (vorige) = verschil met voorgaande versie, k = kleine wijziging

(huidig | vorige) 11 mei 2015 12:03‎ Engelbert Hubbers (overleg | bijdragen)‎ k . . (6.916 bytes) (+71)‎
(huidig | vorige) 10 mei 2015 09:44‎ Engelbert Hubbers (overleg | bijdragen)‎ k . . (6.845 bytes) (-2)‎ . . (003 is Easy en niet Medium.)
(huidig | vorige) 28 apr 2015 19:06‎ Engelbert Hubbers (overleg | bijdragen)‎ . . (6.847 bytes) (+1)‎ . . (Dubbele 61 vervangen door 62.)
(huidig | vorige) 12 jun 2012 22:03‎ Thom Wiggers (overleg | bijdragen)‎ k . . (6.846 bytes) (+1)‎ . . (spelfaudt)
(huidig | vorige) 21 jan 2011 15:11‎ Hanno Wupper (overleg | bijdragen)‎ k . . (6.845 bytes) (+11)‎ . . (Tekst vervangen - '{{BenB/Inhoud' door '<noinclude>{{BenB/Inhoud')
(huidig | vorige) 21 jan 2011 15:04‎ Hanno Wupper (overleg | bijdragen)‎ k . . (6.834 bytes) (+12)‎ . . (Tekst vervangen - '}}{{Literatuur|' door '}}</noinclude>{{Literatuur|')
(huidig | vorige) 21 jan 2011 14:57‎ Hanno Wupper (overleg | bijdragen)‎ . . (6.822 bytes) (+18)‎
(huidig | vorige) 13 mei 2009 09:44‎ Hanno Wupper (overleg | bijdragen)‎ . . (6.804 bytes) (-169)‎
(huidig | vorige) 12 mei 2009 11:40‎ Jasper Berendsen (overleg | bijdragen)‎ . . (6.973 bytes) (-208)‎
(huidig | vorige) 12 mei 2009 10:19‎ Jasper Berendsen (overleg | bijdragen)‎ . . (7.181 bytes) (+233)‎
(huidig | vorige) 8 mei 2009 11:05‎ Jasper Berendsen (overleg | bijdragen)‎ . . (6.948 bytes) (+95)‎
(huidig | vorige) 8 mei 2009 10:55‎ Jasper Berendsen (overleg | bijdragen)‎ . . (6.853 bytes) (-175)‎
(huidig | vorige) 8 mei 2009 10:38‎ Jasper Berendsen (overleg | bijdragen)‎ . . (7.028 bytes) (-163)‎
(huidig | vorige) 1 jan 2009 14:36‎ Hanno Wupper (overleg | bijdragen)‎ k . . (7.191 bytes) (0)‎ . . (Beweren en bewijzen/de zuilen/Zekerheid/6. Natuurlijke deductie/propositielogica stellingen hernoemd naar Beweren en bewijzen/de zuilen/Zekerheid/5. Natuurlijke deductie/propositielogica stellingen)
(huidig | vorige) 1 jan 2009 14:12‎ Hanno Wupper (overleg | bijdragen)‎ . . (7.191 bytes) (+883)‎
(huidig | vorige) 1 jan 2009 14:10‎ Hanno Wupper (overleg | bijdragen)‎ k . . (6.308 bytes) (0)‎ . . (Beweren en bewijzen/het verhaal/5. Bewijzen/oefenpagina/propositielogica/stellingen hernoemd naar Beweren en bewijzen/de zuilen/Zekerheid/6. Natuurlijke deductie/propositielogica stellingen)
(huidig | vorige) 2 jun 2008 09:57‎ Hanno Wupper (overleg | bijdragen)‎ . . (6.308 bytes) (+17)‎
(huidig | vorige) 2 jun 2008 09:55‎ Jasper Berendsen (overleg | bijdragen)‎ . . (6.291 bytes) (+50)‎
(huidig | vorige) 29 mei 2008 10:02‎ Jasper Berendsen (overleg | bijdragen)‎ . . (6.241 bytes) (+16)‎
(huidig | vorige) 29 mei 2008 10:00‎ Jasper Berendsen (overleg | bijdragen)‎ . . (6.225 bytes) (+6.225)‎ . . (Nieuwe pagina: <pre> Theorem prop_001 : (A /\ B) -> A. (*Elementary*) Theorem prop_002 : (~A -> A) -> A. (*Easy*) Theorem prop_003 : (~A -> A) \/ ~A. (* Medium*) Theorem prop_005 : (A /\ B) -> (A ...)

Overgenomen van "https://lab.cs.ru.nl/algemeen/Beweren_en_bewijzen/de_zuilen/Zekerheid/5._Natuurlijke_deductie/propositielogica_stellingen"