Predicate calculus

From Exampleproblems

Jump to: navigation, search

In mathematical logic the predicate calculus, predicate logic or calculus of propositional functions is a formal system used to describe 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.

Inference rules

$\neg \bigwedge_x P(x) \Leftrightarrow \bigvee_x \neg P(x)$

$\neg \bigwedge_x \neg P(x) \Leftrightarrow \bigvee_x P(x)$

$\neg \bigvee_x P(x) \Leftrightarrow \bigwedge_x \neg P(x)$

$\neg \bigvee_x \neg P(x) \Leftrightarrow \bigwedge_x P(x)$

$\bigwedge_x \bigwedge_y P(x,y) \Leftrightarrow \bigwedge_y \bigwedge_x P(x,y)$

$\bigvee_x \bigvee_y P(x,y) \Leftrightarrow \bigvee_y \bigvee_x P(x,y)$

$\bigvee_x \bigwedge_y P(x,y) \Rightarrow \bigwedge_y \bigvee_x P(x,y)$

$\bigwedge_x P(x) \Rightarrow P(x)$

$P(x) \Rightarrow \bigvee_x P(x)$

See also

Template:Mathlogic-stub cs:Predikátová logika he:תחשיב הפסוקים zh:谓词演算

Retrieved from "http://www.exampleproblems.com/wiki/index.php/Predicate_calculus"

Categories: Mathematical logic | Logic on computer science | Formal methods

Views

Personal tools

Create an account or log in

Search

Toolbox

Argan Oil
Natural Skin Care
Organic Skin Care