Domů Doporučení 24 Vložit novou definici
Zobrazuji posledních 24 úprav.
| Věta o dedukci (bez důkazu) | Pro množinu formulí S a formul... | 2016-04-29 08:02:24 | 94.230.146.254 | Ladění pojmu |
| Věta o dedukci (bez důkazu) | Pro množinu formulí S a formul... | 2016-04-29 08:00:51 | 94.230.146.254 | Ladění pojmu |
| Věta o dedukci (bez důkazu) | Pro množinu formulí S a formul... | 2016-04-29 07:56:12 | 94.230.146.254 | Ladění pojmu |
| Věta o dedukci (bez důkazu) | Pro množinu formulí S a formul... | 2016-04-29 07:55:28 | 94.230.146.254 | Vložení pojmu |
| Sémantický důsledek | Řekneme, že formule | 2016-04-29 07:53:13 | 94.230.146.254 | Změna phi na varphi |
| Sémantický důsledek | Řekneme, že formule | 2016-04-29 07:52:29 | 94.230.146.254 | Vložení pojmu |
| Splnitelná množina formulí | Řekneme, že množina formulí S ... | 2016-04-29 07:49:55 | 94.230.146.254 | Vložení pojmu |
| Splnitelná formule | Formule je splnitelná, ... | 2016-04-29 07:46:51 | 94.230.146.254 | Vložení pojmu |
| Úplný systém logických spojek | Řekneme, že množina logických ... | 2016-04-29 07:39:05 | 94.230.146.254 | Oprava alpha a beta |
| Úplný systém logických spojek | Řekneme, že množina logických ... | 2016-04-29 07:38:19 | 94.230.146.254 | Doplnění definice |
| Úplný systém logických spojek | Řekneme, že množina logických ... | 2016-04-29 07:35:11 | 94.230.146.254 | Testování generátoru rovnic |
| Úplný systém logických spojek | Řekneme, že množina logických ... | 2016-04-29 07:32:16 | 94.230.146.254 | Vložení pojmu |
| Úplný systém logických spojek | Řekneme, že množina logických ... | 2016-04-29 07:30:02 | 94.230.146.254 | Vložení pojmu |
| Kontradikce | Formule se nazývá kontr... | 2016-04-29 07:12:21 | 94.230.146.254 | Zvýraznění elementárního termínu |
| Tautologie | Formule se nazývá tauto... | 2016-04-29 07:10:40 | 94.230.146.254 | Odstranění přebytečných odkazů |
| Tautologie | Formule se nazývá tauto... | 2016-04-29 06:23:49 | 94.230.146.254 | Doporučuj používat dvojité uvozovky |
| Tautologie | Formule se nazývá tauto... | 2016-04-29 06:23:08 | 94.230.146.254 | Testování odkazů |
| Tautologie | Formule se nazývá tauto... | 2016-04-29 06:19:33 | 94.230.146.254 | Testování odkazů |
| Tautologie | Formule se nazývá tautologie, ... | 2016-04-29 05:34:52 | 94.230.146.254 | Žádná změna |
| Tautologie | Formule se nazývá tautologie, ... | 2016-04-29 05:32:31 | 94.230.146.254 | Žádná změna |
| Kontradikce | Formule se nazývá kontradikce,... | 2016-04-29 05:22:30 | 94.230.146.254 | Test reCATPCHY |
| Kontradikce | Formule se nazývá kontradikce,... | 2016-04-29 05:22:23 | 94.230.146.254 | Test reCATPCHY |
| Kontradikce | Formule se nazývá kontradikce,... | 2016-04-29 05:22:19 | 94.230.146.254 | Test reCATPCHY |
| Kontradikce | Formule se nazývá kontradikce,... | 2016-04-29 05:21:06 | 94.230.146.254 | Test reCATPCHY |