LGR Databáze definic

Domů Doporučení 24 Zobraz definici

Vložení nové verze definice pojmu "Úplný systém logických spojek"

Definice: Řekneme, že množina logických spojek <span lang="latex">\Delta</span> tvoří úplný systém logických spojek, jestliže pro každou <b>formuli</b> <span lang="latex">\alpha</span> existuje formule <span lang="latex">\beta</span> s ní tautologicky ekvivalentní, která používá pouze spojky z množiny <span lang="latex">\Delta</span>.

Důvod úpravy:

Uložit

---

Historie úprav

Ř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