absorption (Q4669893)

From Wikidata
Jump to: navigation, search
inference rule where, given P→Q, one deduces P→(P∧Q)
edit
Language Label Description Also known as
English
absorption
inference rule where, given P→Q, one deduces P→(P∧Q)

    Statements

    0 references
    0 references
     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit