Glossary: I-Function: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{MaterialUnderConstruction}} = I-Function = == Definition == The I-Function used in Predicate Logic maps each name of logical language to one individual from the universe...") |
|||
| Line 14: | Line 14: | ||
== References == | == References == | ||
* [[NMTS-Group9| | * [[NMTS-Group9| Group page 9: Predicate Logic]] | ||
== Literature == | == Literature == | ||
* Chapter 2 of Manfred Sailer's textbook | * Chapter 2 of Manfred Sailer's textbook | ||
Revision as of 21:43, 5 February 2013
Warning:
The material on this page has been created as part of a seminar. It is still heavily under construction and we do not guarantee its correctness. If you have comments on this page or suggestions for improvement, please contact Manfred Sailer.
This note will be removed once the page has been carefully checked and integrated into the main part of this wiki.
I-Function
Definition
The I-Function used in Predicate Logic maps each name of logical language to one individual from the universe. In this sense, it maps individuals to properties and sets of individuals to relations.
Examples
References
Literature
- Chapter 2 of Manfred Sailer's textbook