from The American Heritage® Dictionary of the English Language, 4th Edition
- n. The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure.
from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. propositional logic.
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
- n. a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Sorry, no etymologies found.