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
Contributor
Featured blossaries
Browers Terms By Category
- Misc restaurant(209)
- Culinary(115)
- Fine dining(63)
- Diners(23)
- Coffehouses(19)
- Cafeterias(12)
Restaurants(470) Terms
- Poker(470)
- Chess(315)
- Bingo(205)
- Consoles(165)
- Computer games(126)
- Gaming accessories(9)
Games(1301) Terms
- Osteopathy(423)
- Acupuncture(18)
- Alternative psychotherapy(17)
- Ayurveda(9)
- Homeopathy(7)
- Naturopathy(3)
Alternative therapy(489) Terms
- Physical geography(2496)
- Geography(671)
- Cities & towns(554)
- Countries & Territories(515)
- Capitals(283)
- Human geography(103)
Geography(4630) Terms
- Wine bottles(1)
- Soft drink bottles(1)
- Beer bottles(1)