====== Dedukční pravidla ======

===== Definice =====

Dedukčním pravidlem pro GUHA asociační pravidla rozumíme dvojici asociačních pravidel ‹φ≈ψ,φ'≈ψ'›. Užitečná jsou korektní 
dedukční pravidla. //Dedukční pravidlo// ‹φ≈ψ,φ'≈ψ'› //je korektní//, jestliže pro každou matici dat **M** platí:  
Je-li [[lm_guha_te_pravidlo#Asociační pravidlo je pravdivé v matici dat|asociační pravidlo φ≈ψ pravdivé v matici dat M]], 
tak potom i asociační pravidlo φ'≈ψ' je pravdivé v matici dat **M**. 

Je-li dedukční pravidlo ‹φ≈ψ,φ'≈ψ'›, pak také říkáme, že φ'≈ψ' //logicky plyne z// φ≈ψ. 

//Dedukční pravidlo// ‹φ≈ψ,φ'≈ψ'› //je nekorektní//, jestliže není korektní. Tedy, jestliže existuje taková  
matice dat **M**, pro kterou platí: asociační pravidlo φ≈ψ je pravdivé v matici dat **M** a zároveň 
asociační pravidlo φ'≈ψ' je nepravdivé v matici dat **M**. 

===== Aplikace =====
 
Korektní dedukční pravidla ‹φ≈ψ,φ'≈ψ'› se v rámci procedury 4ft-Miner používají dvěma způsoby: 

**Pro optimalizaci běhu procedury**: jeli pravdivé pravidlo  φ≈ψ, pak již není třeba verifikovat pravidlo φ'≈ψ', 
vhodným pořadím generování pravidel lze tedy dosáhnou úspor.  

**Pro optimalizaci výstupu procedury**: jeli pravdivé pravidlo  φ≈ψ a pravidlo ‹φ≈ψ,φ'≈ψ'› 
je dostatečně transparentní, tak do výstupu procedury není třeba uvádět pravidlo φ'≈ψ' pokud je 
tam již uvedeno pravidlo φ≈ψ. 

S tím souvisí definice prostých pravidel: 
//Relevantní tvrzení je prosté, je-li pravdivé v daných datech a zároveň neplyne 
zjevným způsobem z jiného, kratšího a ve výstupu již uvedeného tvrzení//, viz též 
[[start:#GUHA procedura|definici GUHA procedury]].    


Uvádíme [[lm_guha_te_dedukcni_pravidla_priklady|příklady korektních i nekorektních dedukčních pravidel]]. 
Příklady jsou využity pro definici několika prakticky užitečných [[lm_guha_te_tridy|tříd asociačních pravidel]].