import { IStringable, IFormulableNode } from "./interfaces";
export declare class Axiom implements IStringable {
    private _premises;
    private _conclusion;
    constructor(premises: IFormulableNode[], conclusion: IFormulableNode);
    get premises(): IFormulableNode[];
    get conclusion(): IFormulableNode;
    get premise(): IFormulableNode;
    get formulable(): IFormulableNode;
    toString(): string;
    equals(other: Axiom): boolean;
}
//# sourceMappingURL=axiom.d.ts.map