Home > Terms > English, UK (UE) > Propositional logic
Propositional logic
Also called sentence logic and the sentential calculus. Such a logic concerns elementary propositions - p, q, r, s, etc. -- respecting which the only assumption is that they should individually be either true or false, and operators that form complex propositions when joined with appropriate numbers of elementary propositions. The operators include conjunction (&) hence 'p and q'; disjunction (v), hence 'p or q'; negation (-), hence '-p'; conditional (--> ), hence 'If p then q'; and equivalence ( =), hence 'p is equivalent to q'. This logic is concerned with determining which complex propositions are logical truths, or tautologies; this effectively determines what are valid arguments because such can always be treated as complex propositions in which the premisses of the argument appear as the antecedent and the conclusion as the consequence. This logic, as opposed to first, or higher, order predicate logic is complete and decidable.
- Part of Speech: noun
- Synonym(s):
- Blossary:
- Industry/Domain: Philosophy
- Category: General philosophy
- Company:
- Product:
- Acronym-Abbreviation:
Other Languages:
Member comments
Terms in the News
Featured Terms
Asteroid mining
The future industry of sending spacecraft to asteroids in order to harvest their natural resources and bring them back to civilization for use. On ...
Contributor
Featured blossaries
Daniel
0
Terms
7
Blossaries
0
Followers
Glossary for Principles of Macroeconomics/Microeconomics
Browers Terms By Category
- Human evolution(1831)
- Evolution(562)
- General archaeology(328)
- Archaeology tools(11)
- Artifacts(8)
- Dig sites(4)
Archaeology(2749) Terms
- Radiology equipment(1356)
- OBGYN equipment(397)
- Cardiac supplies(297)
- Clinical trials(199)
- Ultrasonic & optical equipment(61)
- Physical therapy equipment(42)
Medical devices(2427) Terms
- Digital Signal Processors (DSP)(1099)
- Test equipment(1007)
- Semiconductor quality(321)
- Silicon wafer(101)
- Components, parts & accessories(10)
- Process equipment(6)
Semiconductors(2548) Terms
- Plastic injection molding(392)
- Industrial manufacturing(279)
- Paper production(220)
- Fiberglass(171)
- Contract manufacturing(108)
- Glass(45)
Manufacturing(1257) Terms
- Automobile(10466)
- Motorcycles(899)
- Automotive paint(373)
- Tires(268)
- Vehicle equipment(180)
- Auto parts(166)