existential instantiation (Q2013340)

From Wikidata
Jump to navigation Jump to search
Rule of inference in predicate logic
  • EI
edit
Language Label Description Also known as
default for all languages
No label defined
    English
    existential instantiation
    Rule of inference in predicate logic
    • EI

    Statements

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit