Added to Favorites

Computing Dictionary

(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)

WordNet

propositional logic | |

noun | |

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

WordNet® 3.0, © 2006 by Princeton University.

Cite This Source

Cite This Source

Nearby Words

Copyright © 2014 Dictionary.com, LLC. All rights reserved.