Q737471

From Wikidata
Jump to: navigation, search

double negative elimination(Q737471)

inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula
    No aliases defined
[edit]
Language Label Description Also known as
English
double negative elimination
inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula

    Statements

    /m/05fvh
    1 reference
    0 references
    0 references