Interface Proposition

interface Proposition {
    freeVars: string[];
    predicate: string;
    quantifier?: "forall" | "exists";
    text: string;
}

Index

Properties

freeVars predicate quantifier? text

Properties

freeVars

freeVars: string[]

Free variables

predicate

predicate: string

Machine-checkable predicate (serialized)

`Optional`quantifier

quantifier?: "forall" | "exists"

Quantifier: universal (safety), existential (counterexample)

text

text: string

Human-readable statement