propositional calculus

Table of Contents

Introduction References & Edit History Quick Facts & Related Topics

Discover

Planet Jupiter with its moon Io at left, photographed by the Cassini orbiter during the Cassini-Huygens mission, 2000. spacecraft

7 Important Dates in Jupiter History

Lead image for "10 Infographics that Explain the Normandy Invasion During World War II" list

10 Infographics that Explain the Normandy Invasion During World War II

Young women with rainbow painted faces - symbol of lesbian, gay, bisexual and transgender - LGBT - watch the San Francisco Pride Parade in 2015. Gay pride human rights civil rights spectators California

Why Is Pride Month Celebrated in June?

Close-up of ostriches (Struthio camelus) necks and heads; location unknown.

6 of the World's Most Dangerous Birds

The impeachment trial of Pres. Andrew Johnson, illustration from Frank Leslie's Illustrated Newspaper, March 28, 1868.

What If the President Is Impeached?

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

Queen Elizabeth II addresses at opening of Parliament. (Date unknown on photo, but may be 1958, the first time the opening of Parliament was filmed.)

All 119 References in “We Didn’t Start the Fire,” Explained

propositional calculus: Facts & Related Content

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

Facts

Also Known As	sentential calculus • PC

Topics

law of transposition propositional variable pure implicational calculus De Morgan laws PM law of double negation formal logic logic logic of propositions many-valued logic applied logic metalogic set theory fuzzy logic predicate calculus modal logic mereology history of logic modern logic

Dig Deeper: More Articles That Discuss This Topic

formal logic: The propositional calculus