Zadání SD4ft-kvantifikátoru

Součástí zadání množiny relevantních SD4ft-pravidel α×β:φ∼ψ i podmíněných SD4ft-pravidel α×β:φ∼ψ/χ je zadání SD4ft-kvantifikátoru ∼ v okně dle následujícího obrázku.

SDft-kvantifikátor ∼ je dán jako konjunkce SD4ftt-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující SD4ft-kvantifikátor ∼ je konjunkcí podmínek definujících jednotlivé zadané SD4ft-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu SD4ftkvantifikátoru.

• Tlačítkem Add statistical quantifier se zadávají statistické SD4ft-kvantifikátory popsané zde.
• Tlačítkem Add simple frequencies quantifier se zadávají jednoduché frekvenční SD4ft-kvantifikátory popsané zde.