First page
Back
Continue
Last page
Graphics
What is inference?
-
We have U
=
{a,A,B|a:A,A ⊑ B},
a universe in Ex
-
We would like to infer
{a,B|a:B}
-
- the usual notation is U
⊧
{a,B|a:B} (or U
⊧Ex {a,B|a:B})
-
The formal definition of inference (or “entailement”) is: