Search Britannica
Click here to search
Search Britannica
Click here to search
SUBSCRIBE
SUBSCRIBE
Login
https://premium.britannica.com/premium-membership/?utm_source=premium&utm_medium=nav-login-box&utm_campaign=evergreen
SUBSCRIBE
Home
History & Society
Science & Tech
Biographies
Animals & Nature
Geography & Travel
Arts & Culture
ProCon
Money
Games & Quizzes
Videos
On This Day
One Good Fact
Dictionary
New Articles
History & Society
Lifestyles & Social Issues
Philosophy & Religion
Politics, Law & Government
World History
Science & Tech
Health & Medicine
Science
Technology
Biographies
Browse Biographies
Animals & Nature
Birds, Reptiles & Other Vertebrates
Bugs, Mollusks & Other Invertebrates
Environment
Fossils & Geologic Time
Mammals
Plants
Geography & Travel
Geography & Travel
Arts & Culture
Entertainment & Pop Culture
Literature
Sports & Recreation
Visual Arts
Companions
Demystified
Image Galleries
Lists
Podcasts
Spotlight
Summaries
The Forum
Top Questions
#WTFact
Britannica Kids
Ask the Chatbot
Games & Quizzes
History & Society
Science & Tech
Biographies
Animals & Nature
Geography & Travel
Arts & Culture
ProCon
Money
Videos
formal logic
Table of Contents
Introduction
General observations
The propositional calculus
Basic features of PC
Formation rules for PC
Validity in PC
Interdefinability of operators
Axiomatization of PC
Special systems of PC
Partial systems of PC
Nonstandard versions of PC
Natural deduction method in PC
The predicate calculus
The lower predicate calculus
Validity in LPC
Logical manipulations in LPC
Classification of dyadic relations
Axiomatization of LPC
Semantic tableaux
Special systems of LPC
Definite descriptions
Higher-order predicate calculi
Modal logic
Alternative systems of modal logic
Validity in modal logic
Set theory
References & Edit History
Quick Facts & Related Topics
Images
Discover
7 of History's Most Notorious Serial Killers
Is It ISIS or ISIL?
12 Greek Gods and Goddesses
Timeline of the Space Race, 1957–69
11 Egyptian Gods and Goddesses
What Are the Differences Between First-, Second-, and Third-Degree Murder?
New Seven Wonders of the World
Contents
Home
Philosophy & Religion
Philosophical Issues
formal logic: Media
Share
Share
Share to social media
Facebook
X
URL
https://lolitatops.com/topic/formal-logic/images-videos
Images
Alfred North Whitehead
Alfred North Whitehead.
VIEW MORE
in these related Britannica articles:
Media for: metalogic
Media for: applied logic