propositional logic

Computing Dictionary

propositional logic definition

logic
(or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions and logical connectives. Propositional logic only considers whether a proposition is true or false. In contrast to predicate logic, it does not consider the internal structure of propositions.
(2002-05-21)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

00:10

00:09

00:08

00:07

00:06

00:05

00:04

00:03

00:02

00:01

Propositional logic is always a great word to know.

So is quincunx. Does it mean:

an arrangement of five objects, as trees, in a square or rectangle, one at each corner and one in the middle.

a scrap or morsel of food left at a meal.

LEARN MORE UNUSUAL WORDS WITH WORD DYNAMO...

WordNet

propositional logic
noun
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

Word Dynamo By Dictionary.com

Searching for propositional logic? How many words do you actually know?

FIND OUT

Remove ads like these. Upgrade now!

Matching Quote

"For want of the apparatus of propositional functions, many logicians have been driven to the conclusion that there are unreal objects. It is argued, e.g., by Meinong, that we can speak about "the golden mountain," "the round square," and so on; we can make true propositions of which these are the subjects; hence they must have some kind of logical being, since otherwise the propositions in which they occur would be meaningless. In such theories, it seems to me, there is a failure of that feeling for reality which ought to be preserved even in the most abstract studies. Logic, I should maintain, must no more admit a unicorn than zoology can; for logic is concerned with the real world just as truly as zoology, though with its more abstract and general features."

-Bertrand Russell