Úvod
Důležité pojmy
Vztahy, s nimiž procedury pracují
GUHA procedury
GUHA procedury - společné prvky
Observační kalkuly - relevantní výsledky
Důležité tématické okruhy
Uživatelské nástroje
Postranní lišta
lm_guha_te_dedukcni_pravidla_priklady
Příklady dedukčních pravidel
Korektnost dedukčního pravidla ‹φ≈ψ,φ'≈ψ'› podstatně závisí na definici 4ft-kvantifikátoru ≈. Dále uvádíme příklady korektních i nekorektních dedukčních pravidel pro 4ft-kvantifikátory
Tyto příklady jsou dále využity k definici několika tříd asociačních pravidel.
lm_guha_te_dedukcni_pravidla_priklady.txt · Poslední úprava: 2019/09/03 08:47 (upraveno mimo DokuWiki)
Nástroje pro stránku
Kromě míst, kde je explicitně uvedeno jinak, je obsah této wiki licencován pod následující licencí: CC Attribution-Share Alike 4.0 International
