Domů Doporučení 24 Vložit novou verzi definice
Řekneme, že množina logických spojek \Delta tvoří úplný systém logických spojek, jestliže pro každou formuli \alpha existuje formule \beta s ní tautologicky ekvivalentní, která používá pouze spojky z množiny \Delta.
| Řekneme, že množina logických ... | 2016-04-29 07:39:05 | 94.230.146.254 | Oprava alpha a beta |
| Řekneme, že množina logických ... | 2016-04-29 07:38:19 | 94.230.146.254 | Doplnění definice |
| Řekneme, že množina logických ... | 2016-04-29 07:35:11 | 94.230.146.254 | Testování generátoru rovnic |
| Řekneme, že množina logických ... | 2016-04-29 07:32:16 | 94.230.146.254 | Vložení pojmu |
| Řekneme, že množina logických ... | 2016-04-29 07:30:02 | 94.230.146.254 | Vložení pojmu |