import { IFormulable } from "./interfaces";
import { Population, TruthTable } from "./containers";
export declare function existencialQuantifier(premise: IFormulable, formulable: IFormulable, population: Population, truthTable: TruthTable): boolean;
export declare function universalQuantifier(premise: IFormulable, formulable: IFormulable, population: Population, truthTable: TruthTable): boolean;
//# sourceMappingURL=quantifiers.d.ts.map