Predicate calculus
In mathematical logic the predicate calculus, predicate logic or calculus of propositional functions is a formal system used to describe mathematical theories.
Related Topics:
Mathematical logic - Formal system - Mathematical theories
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
The predicate calculus is an extension of propositional calculus, which is inadequate for describing more complex mathematical structures. Grammatically speaking the predicate calculus adds a predicate-subject structure and quantifiers on top of the existing propositional calculus. A subject is a name for a member of a given group of individuals (a set) and a predicate is a relation on this group.
Related Topics:
Propositional calculus - Quantifiers - Set - Relation
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
~ Table of Content ~
| ► | Introduction |
| ► | Inference rules |
| ► | See also |
~ What's Hot ~
Madagascar 3, Avatar, Sex And The City 2, Alvin And The Chipmunks The Squeakquel, Hannah Montana The Movie, The Mummy 4 Rise Of The Aztec, New Moon, Harry Potter And The Half Blood Prince, The Blind Side, District 9, Fantastic Mr Fox, The Princess And The Frog, The Hangover, The Karate Kid, Percy Jackson The Olympians The Lightning Thief, Ice Age Dawn Of The Dinosaurs, 500 Days Of Summer, Dear John, All About Steve, Up In The Air,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.