applied logic

Table of Contents

References & Edit History Related Topics

Images

Read Next

Spiral Galaxy type Sa-Sb or Sa/Sb in the constellation Virgo. The majestic Sombrero Galaxy Messier 104 (M104) or NGC 4594. The team took six pictures of the galaxy, stitched them together to create the final composite image. Photo from May-June 2003

9 Britannica Articles That Explain the Meaning of Life

Programming computer abstract

Influential Computer Programming Languages

Discover

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

Rural Irish landscape, Sligo, Ireland.

Why Is Ireland Two Countries?

Super Typhoon Noru over the western tropical Pacific Ocean as observed by the Moderate Resolution Imaging Spectroradiometer (MODIS) on NASA Aqua satellite July 31 2017

What Is the Difference Between a Typhoon and a Super Typhoon?

Thanksgiving Celebration Traditional Dinner Setting Food Concept

Why Is Thanksgiving in the U.S. Celebrated on a Thursday?

Baseball laying in the grass. Homepage blog 2010, arts and entertainment, history and society, sports and games athletics

10 Greatest Baseball Players of All Time

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

Close up of books. Stack of books, pile of books, literature, reading. Homepage 2010, arts and entertainment, history and society

12 Novels Considered the “Greatest Book Ever Written”

applied logic: Related Content

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

Photos

See All Images →

Topics

mereology hypothetical proposition epistemic logic counterfactual conditional temporal logic computer science logic many-valued logic formal logic metalogic fuzzy logic predicate calculus modal logic propositional calculus history of logic medieval logic ancient logic