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
Pogonip
A dense fog containing ice particles, pogonip is one of five types of fog. It is also identified as ice fog.
Contributor
Featured blossaries
Browers Terms By Category
- Hats & caps(21)
- Scarves(8)
- Gloves & mittens(8)
- Hair accessories(6)
Fashion accessories(43) Terms
- General furniture(461)
- Oriental rugs(322)
- Bedding(69)
- Curtains(52)
- Carpets(40)
- Chinese antique furniture(36)
Home furnishings(1084) Terms
- Material physics(1710)
- Metallurgy(891)
- Corrosion engineering(646)
- Magnetics(82)
- Impact testing(1)
Materials science(3330) Terms
- Zoological terms(611)
- Animal verbs(25)