Výroková logika: Historie verzí

Filtrovat revizerozbalitsbalit

Do data:

Filtr podle značek:

Obrátit výběr

Chcete-li zobrazit některou ze starších verzí stránky, klikněte na její datum nebo čas. Více informací naleznete na stránkách Nápověda:Historie stránky a Wikipedie:Shrnutí editace.
Externí nástroje: Statistika starších verzí · Prohledávání starších verzí · Statistika návštěvnosti

Výběr rozdílu: Vyberte přepínače u revizí, které chcete porovnat, a stiskněte enter nebo tlačítko dole.
Legenda: (teď) = rozdíl oproti aktuální verzi, (předchozí) = rozdíl oproti předchozí verzi, m = malá editace, → = editace sekce

teďpředchozí 17:0528. 12. 2023, 17:05‎ 188.244.49.133 diskuse‎ 5 323 bajtů +1‎ oprava překlepu zrušit editaci značka: editace z Vizuálního editoru

teďpředchozí 10:5519. 2. 2023, 10:55‎ Kolarp diskuse příspěvky‎ m 5 322 bajtů +1‎ -překlep zrušit editaci

teďpředchozí 11:4620. 3. 2022, 11:46‎ Riha diskuse příspěvky‎ m 5 321 bajtů +108‎ Zařazení do matematické logiky, XLNKs zrušit editaci

teďpředchozí 18:1616. 6. 2019, 18:16‎ InternetArchiveBot diskuse příspěvky‎ 3 368 bajtů +43‎ Robot: Opravuji 1 zdrojů and označuji 0 zdrojů jako nefunkční #IABot (v2.0beta15) zrušit editaci

teďpředchozí 14:5118. 11. 2018, 14:51‎ Texvc2LaTeXBot diskuse příspěvky‎ m 3 325 bajtů +2‎ Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap zrušit editaci

teďpředchozí 12:3923. 10. 2018, 12:39‎ OJJ diskuse příspěvky‎ m 3 323 bajtů −1 279‎ Editace uživatele 5.102.58.6 (diskuse) vráceny do předchozího stavu, jehož autorem je 94.113.113.143 zrušit editaci značka: rychlé vrácení zpět
teďpředchozí 12:3823. 10. 2018, 12:38‎ 5.102.58.6 diskuse‎ 4 602 bajtů +1 239‎ →‎Výroková formule zrušit editaci značky: možný vandalismus školní IP vulgarity editace z Vizuálního editoru
teďpředchozí 12:3723. 10. 2018, 12:37‎ 5.102.58.6 diskuse‎ 3 363 bajtů +40‎ Bez shrnutí editace zrušit editaci značky: možný vandalismus školní IP editace z Vizuálního editoru

teďpředchozí 14:322. 2. 2018, 14:32‎ 94.113.113.143 diskuse‎ 3 323 bajtů +25‎ →‎Axiomy zrušit editaci značka: editace z Vizuálního editoru

teďpředchozí 10:564. 10. 2017, 10:56‎ JAnDbot diskuse příspěvky‎ m 3 298 bajtů +20‎ Robot: přidáno {{Autoritní data}} zrušit editaci

teďpředchozí 07:437. 12. 2016, 07:43‎ HypoBOT diskuse příspěvky‎ m 3 278 bajtů +17‎ Přidání šablony Commonscat dle ŽOPP z 28. 7. 2016 zrušit editaci

teďpředchozí 19:0224. 8. 2014, 19:02‎ 77.87.241.88 diskuse‎ 3 261 bajtů +14‎ Oprava chyby: vyrokova formule musi bejt konecna zrušit editaci značka: editace z Vizuálního editoru

teďpředchozí 16:278. 3. 2013, 16:27‎ Addbot diskuse příspěvky‎ m 3 247 bajtů −1 067‎ Bot: Odstranění 36 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q200694) zrušit editaci

teďpředchozí 05:511. 7. 2012, 05:51‎ EmausBot diskuse příspěvky‎ m 4 314 bajtů +39‎ r2.7.2+) (Robot: Přidávám ky:Логикалык сүйлөө zrušit editaci

teďpředchozí 14:3520. 10. 2011, 14:35‎ 77.48.32.18 diskuse‎ 4 275 bajtů +16‎ →‎Výroková formule zrušit editaci

teďpředchozí 23:3527. 7. 2011, 23:35‎ Fafrin diskuse příspěvky‎ m 4 259 bajtů −9‎ +C8st math zrušit editaci

teďpředchozí 13:4811. 1. 2011, 13:48‎ LaaknorBot diskuse příspěvky‎ m 4 268 bajtů +21‎ r2.5.2) (robot přidal: nn:Utsegnslogikk zrušit editaci

teďpředchozí 11:378. 11. 2010, 11:37‎ LucienBOT diskuse příspěvky‎ m 4 247 bajtů +28‎ robot přidal: eu:Logika proposizional zrušit editaci

teďpředchozí 14:4530. 6. 2010, 14:45‎ SieBot diskuse příspěvky‎ m 4 219 bajtů +28‎ robot přidal: sl:Propozicijska logika zrušit editaci

teďpředchozí 10:186. 6. 2010, 10:18‎ Dinamik-bot diskuse příspěvky‎ m 4 191 bajtů 0‎ robot změnil: la:Logica propositionalis zrušit editaci

teďpředchozí 08:515. 6. 2010, 08:51‎ ArthurBot diskuse příspěvky‎ m 4 191 bajtů +10‎ robot změnil: la:Logica Propositionalis; kosmetické úpravy zrušit editaci
teďpředchozí 03:035. 6. 2010, 03:03‎ LaaknorBot diskuse příspěvky‎ m 4 181 bajtů +6‎ robot změnil: be-x-old:Зьлічэньне выказваньняў zrušit editaci

teďpředchozí 04:3915. 5. 2010, 04:39‎ Oashi diskuse příspěvky‎ 4 175 bajtů +411‎ Výroková logika se skládá ze, prevzato z [predikátové logiky]] zrušit editaci
teďpředchozí 04:3115. 5. 2010, 04:31‎ Oashi diskuse příspěvky‎ m 3 764 bajtů 0‎ →‎Odvozovací pravidlo: redirekt napřímen zrušit editaci
teďpředchozí 03:5315. 5. 2010, 03:53‎ Oashi diskuse příspěvky‎ m 3 764 bajtů +4‎ →‎Odvozovací pravidlo: link zrušit editaci

teďpředchozí 13:1320. 2. 2010, 13:13‎ TXiKiBoT diskuse příspěvky‎ m 3 760 bajtů +21‎ robot přidal: ko:명제 논리 zrušit editaci

teďpředchozí 13:1212. 12. 2009, 13:12‎ TXiKiBoT diskuse příspěvky‎ m 3 739 bajtů +28‎ robot přidal: la:Logica Propositionis zrušit editaci

teďpředchozí 14:194. 4. 2009, 14:19‎ Kndr diskuse příspěvky‎ 3 711 bajtů +33‎ →‎Externí odkazy: link fix zrušit editaci

teďpředchozí 14:2112. 2. 2009, 14:21‎ VolkovBot diskuse příspěvky‎ m 3 678 bajtů +30‎ robot přidal: id:Kalkulus proposisional zrušit editaci

teďpředchozí 18:329. 1. 2009, 18:32‎ BOTarate diskuse příspěvky‎ m 3 648 bajtů +31‎ robot přidal: simple:Propositional logic zrušit editaci

teďpředchozí 01:0323. 11. 2008, 01:03‎ Milda diskuse příspěvky‎ m 3 617 bajtů +24‎ →‎Pravdivost: link fix zrušit editaci

teďpředchozí 10:376. 11. 2008, 10:37‎ SilvonenBot diskuse příspěvky‎ m 3 593 bajtů +29‎ robot přidal: af:Proposisionele logika zrušit editaci

teďpředchozí 14:5324. 8. 2008, 14:53‎ ArthurBot diskuse příspěvky‎ m 3 564 bajtů −22‎ Robot: Removing selflinks zrušit editaci

teďpředchozí 07:493. 6. 2008, 07:49‎ VolkovBot diskuse příspěvky‎ m 3 586 bajtů +45‎ robot přidal: uk:Числення висловлень zrušit editaci

teďpředchozí 06:5522. 5. 2008, 06:55‎ WikiDreamer Bot diskuse příspěvky‎ m 3 541 bajtů +502‎ robot přidal: ar, be-x-old, ca, cy, es, fa, fi, he, it, ja, lt, nl, no, pt, ru, sr, sv změnil: zh zrušit editaci

teďpředchozí 12:1713. 4. 2008, 12:17‎ Adam Zivner diskuse příspěvky‎ m 3 039 bajtů +176‎ →‎Důkaz: + odkaz na skripta zrušit editaci

teďpředchozí 12:4714. 3. 2008, 12:47‎ Glivi diskuse příspěvky‎ m 2 863 bajtů +333‎ různé významy zrušit editaci

teďpředchozí 21:4917. 6. 2007, 21:49‎ Le Pied-bot~cswiki diskuse příspěvky‎ m 2 530 bajtů +25‎ warnfile přidal: sk:Výroková logika zrušit editaci

teďpředchozí 08:4712. 3. 2007, 08:47‎ Dinybot diskuse příspěvky‎ m 2 505 bajtů −152‎ robot: typografické a kódové korekce a náhrady přesměrování podle specifikace zrušit editaci

teďpředchozí 23:019. 3. 2007, 23:01‎ Zirland diskuse příspěvky‎ m 2 657 bajtů −140‎ Editace uživatele „Rookie1ja“ vrácena do předchozího stavu, jehož autorem je „DaBler“. zrušit editaci
teďpředchozí 22:569. 3. 2007, 22:56‎ Rookie1ja diskuse příspěvky‎ m 2 797 bajtů +140‎ externí odkaz zrušit editaci

teďpředchozí 05:3222. 1. 2007, 05:32‎ DaBler diskuse příspěvky‎ m 2 657 bajtů +1‎ pravopis zrušit editaci

teďpředchozí 23:506. 11. 2006, 23:50‎ Glivi diskuse příspěvky‎ m 2 656 bajtů +13‎ kateg zrušit editaci

teďpředchozí 12:3329. 10. 2006, 12:33‎ Glivi diskuse příspěvky‎ 2 643 bajtů +25‎ →‎Odvozovací pravidlo: název pravidla zrušit editaci

Výroková logika: Historie verzí

28. 12. 2023

19. 2. 2023

20. 3. 2022

11. 3. 2022

16. 6. 2019

18. 11. 2018

23. 10. 2018

2. 2. 2018

4. 10. 2017

7. 12. 2016

24. 8. 2014

8. 3. 2013

1. 7. 2012

20. 10. 2011

27. 7. 2011

11. 1. 2011

8. 11. 2010

30. 6. 2010

6. 6. 2010

5. 6. 2010

15. 5. 2010

20. 2. 2010

12. 12. 2009

4. 4. 2009

12. 2. 2009

9. 1. 2009

23. 11. 2008

6. 11. 2008

24. 8. 2008

3. 6. 2008

22. 5. 2008

13. 4. 2008

14. 3. 2008

17. 6. 2007

12. 3. 2007

9. 3. 2007

22. 1. 2007

6. 11. 2006

29. 10. 2006