double negative elimination (Q737471)

From Wikidata
Jump to: navigation, search
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