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
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

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit