free variable

Directory

References

Discover

Title: Senate Square, St. Petersburg, December 14, 1825: repression of the troop mutiny - watercolor by Carl Ivanovitch Kollman, 1825 depicts Decembrist uprising clashing with cavalry, with spectators watching. (new style December 26, 1825) Europe. Saint

8 of the Largest Empires in History

Mayer Amschel Rothschild (1744-1855), founder of the house of Rothschild; lithograph by Friedrich Lieder, c. 1830.

Where Do Anti-Semitic Conspiracy Theories About the Rothschild Family Come From?

Santa Claus flying in his sleigh, christmas, reindeer

Was Santa Claus a Real Person?

An ancient egyptian hieroglyphic painted carving showing the falcon headed god Horus seated on a throne and holding a golden fly whisk. Before him are the Pharoah Seti and the goddess Isis. Interior wall of the temple to Osiris at Abydos, Egypt.

11 Egyptian Gods and Goddesses

Diverse elementary school children wearing school uniforms running outside of school. Boys girls

Pro and Con: School Uniforms

Iraqi Army Soldiers from the 9th Mechanized Division learning to operate and maintain M1A1 Abrams Main Battle Tanks at Besmaya Combat Training Center, Baghdad, Iraq, 2011. Military training. Iraq war. U.S. Army

8 Deadliest Wars of the 21st Century

A Factory Interior, watercolor, pen and gray ink, graphite, and white goache on wove paper by unknown artist, c. 1871-91; in the Yale Center for British Art. Industrial Revolution England

Inventors and Inventions of the Industrial Revolution

free variable

logic

Learn about this topic in these articles:

axiomatic set theory

In set theory: Schemas for generating well-formed formulas
A variable is free in a formula if it occurs at least once in the formula without being introduced by one of the phrases “for some x” or “for all x.” Henceforth, a formula S in which x occurs as a free variable will be called “a condition…
Read More

lower predicate calculus

In formal logic: The lower predicate calculus
…bound is said to be free. Thus, in (∀x)(ϕx ∨ ϕy) the x in ϕx is bound, since it occurs within the scope of a quantifier containing x, but y is free. In the wffs of a lower predicate calculus, every occurrence of a predicate variable (ϕ, ψ, χ, ……
Read More