predicate calculus

Table of Contents

Introduction References & Edit History Quick Facts & Related Topics

Discover

earthquake. Heavily damaged school in the town of Yingxiu after a major earthquake struck China's Sichuan Province on May 12, 2008.

The 6 Deadliest Earthquakes Since 1950

King Cobra snake in Malaysia. (reptile)

9 of the World’s Deadliest Snakes

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

African Americans demonstrating for voting rights in front of the White House as police and others watch, March 12, 1965. One sign reads, "We demand the right to vote everywhere." Voting Rights Act, civil rights.

Timeline of the American Civil Rights Movement

Groups of depositors in front of the closed American Union Bank, New York City. April 26, 1932. Great Depression run on bank crowd

Causes of the Great Depression

Aphrodite. Greek mythology. Sculpture. Aphrodite is the Greek goddess of love and beauty.

12 Greek Gods and Goddesses

Ice Sledge Hockey, Hockey Canada Cup, USA (left) vs Canada, 2009. UBC Thunderbird Arena, Vancouver, BC, competition site for Olympic ice hockey and Paralympic ice sledge hockey. Vancouver 2010 Olympic and Paralympic Winter Games, Vancouver Olympics

10 Best Hockey Players of All Time

predicate calculus: Facts & Related Content

Written and fact-checked by The Information Architects of Encyclopaedia Britannica

Facts

Also Known As	logic of quantifiers

Topics

predication universal generalization predicate variable individual variable lower predicate calculus monadic predicate calculus nonelementary logic atomic formula quantifier rearrangement quantifier transformation applied logic metalogic set theory fuzzy logic modal logic propositional calculus mereology many-valued logic history of logic philosophy of logic

Dig Deeper: More Articles That Discuss This Topic

formal logic: The predicate calculus