Universal instantiation
id:
universal-instantiation-319-8143398
title:
Universal instantiation
text:
In predicate logic, universal instantiation is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom schema. It is one of the basic principles used in quantification theory. Example: "All dogs are mammals. Fido is a dog. Therefore Fido is a mammal." Formally, the rule as an axiom schema is given a
brand slug:
wiki
category slug:
encyclopedia
description:
Rule of inference in predicate logic
original url:
https://en.wikipedia.org/wiki/Universal_instantiation
date created:
date modified:
2024-01-25T10:12:35Z
main entity:
{"identifier":"Q784645","url":"https://www.wikidata.org/entity/Q784645"}
image:
fields total:
13
integrity:
14