Namespaces
Variants
Actions

Difference between revisions of "Logical formula"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX; duplicates)
Line 1: Line 1:
An expression in the language of formal logic. An exact definition of a logical formula is given for each specific logical language. As a rule, the definition of a formula has an inductive character: one distinguishes a class of statements, called atomic formulas, and states rules that make it possible to construct new formulas from formulas already constructed, using the symbols for logical operations (cf. [[Logical operation|Logical operation]]). For example, the formulas of propositional logic are defined as follows. Any propositional variable is an (atomic) formula. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607101.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607102.png" /> are formulas, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607103.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607104.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607105.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607106.png" /> are formulas. The formulas of predicate logic are constructed from propositional, predicate and object variables by using logical connectives, quantifiers and auxiliary symbols (brackets and commas). Atomic formulas are propositional variables and expressions of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607107.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607108.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l0607109.png" />-place predicate variable and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071010.png" /> are object variables. The formulas of predicate calculus are defined as follows: a) any atomic formula is a formula; and b) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071012.png" /> are formulas and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071013.png" /> is an object variable, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071017.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060710/l06071019.png" /> are formulas.
+
{{TEX|done}}
 +
An expression in the language of formal logic. An exact definition of a logical formula is given for each specific logical language. As a rule, the definition of a formula has an inductive character: one distinguishes a class of statements, called atomic formulas, and states rules that make it possible to construct new formulas from formulas already constructed, using the symbols for logical operations (cf. [[Logical operation|Logical operation]]). For example, the formulas of propositional logic are defined as follows. Any propositional variable is an (atomic) formula. If $A$ and $B$ are formulas, then $(A\&B)$, $(A\lor B)$, $(A\supset B)$, $(\neg A)$ are formulas. The formulas of predicate logic are constructed from propositional, predicate and object variables by using logical connectives, quantifiers and auxiliary symbols (brackets and commas). Atomic formulas are propositional variables and expressions of the form $P(y_1,\ldots,y_n)$, where $P$ is an $n$-place predicate variable and $y_1,\ldots,y_n$ are object variables. The formulas of predicate calculus are defined as follows: a) any atomic formula is a formula; and b) if $A$ and $B$ are formulas and $y$ is an object variable, then $(\neg A)$, $(A\&B)$, $(A\lor B)$, $(A\supset B)$, $(\forall yA)$, $(\exists yA)$ are formulas.
  
  
  
 
====Comments====
 
====Comments====
The term  "well-formed formulawell-formed formula"  (sometimes abbreviated to  "wffwff"  or  "wfwf" ) is in fairly common use.
+
The term  "well-formed formula"  (sometimes abbreviated to  "wff"  or  "wf" ) is in fairly common use.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Grzegorczyk,  "An outline of mathematical logic" , Reidel  (1974)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Grzegorczyk,  "An outline of mathematical logic" , Reidel  (1974)</TD></TR></table>

Revision as of 21:53, 14 April 2014

An expression in the language of formal logic. An exact definition of a logical formula is given for each specific logical language. As a rule, the definition of a formula has an inductive character: one distinguishes a class of statements, called atomic formulas, and states rules that make it possible to construct new formulas from formulas already constructed, using the symbols for logical operations (cf. Logical operation). For example, the formulas of propositional logic are defined as follows. Any propositional variable is an (atomic) formula. If $A$ and $B$ are formulas, then $(A\&B)$, $(A\lor B)$, $(A\supset B)$, $(\neg A)$ are formulas. The formulas of predicate logic are constructed from propositional, predicate and object variables by using logical connectives, quantifiers and auxiliary symbols (brackets and commas). Atomic formulas are propositional variables and expressions of the form $P(y_1,\ldots,y_n)$, where $P$ is an $n$-place predicate variable and $y_1,\ldots,y_n$ are object variables. The formulas of predicate calculus are defined as follows: a) any atomic formula is a formula; and b) if $A$ and $B$ are formulas and $y$ is an object variable, then $(\neg A)$, $(A\&B)$, $(A\lor B)$, $(A\supset B)$, $(\forall yA)$, $(\exists yA)$ are formulas.


Comments

The term "well-formed formula" (sometimes abbreviated to "wff" or "wf" ) is in fairly common use.

References

[a1] A. Grzegorczyk, "An outline of mathematical logic" , Reidel (1974)
How to Cite This Entry:
Logical formula. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Logical_formula&oldid=31699
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article