propositional logic
- noun
- /ˌproʊpəˈzɪʃənl ˈlɒdʒɪk/
- Specialized
:
lógica proposicional
- So we start out like the first semester is logic, and we do propositional logic, maybe some predicate calculus.
I want just to tell you how to prove a simple proposition and propositional logic.
- I want just to tell you how to prove a simple proposition and propositional logic.
- And then a few other things for, for those of you who don't know too much about logic, propositional logic is so we, we talk about the Stoics.
Examples
-
We will give two versions of the game: the first version characterizes the size of formulas in propositional logic.
Blog text (4) -
And without Aristotle, no propositional logic!
Blog text (34) -
And the little bit of propositional logic you should know is the meaning of.
-
There is some similarity between rules and propositional logic implications.
Academic text (2011) -
Beyond propositional logic, however, lies the image that unites the premises.
Academic text (2002) -
And then a few other things for, for those of you who don't know too much about logic, propositional logic is so we, we talk about the Stoics.
-
It also renounces propositionalism, the attempt to reduce all rules of reasoning to the terms of propositional logic, since this provides the logical grounds for substantialism.
Academic text (1993) -
Being a logical problem, a number of different approaches can be exploited for automatic theorem proving. This problem can be represented through propositional logic: as a consequence, techniques like, for example, truth tables or resolution might be suitable for solving the problem. Step 3: Identify Problem Components and Hidden Knowledge Problem
Academic text (2017) -
In a landmark paper, Kautz and Selman showed that encoding a planning problem as a theory in propositional logic, with plans represented by models, and using SAT solvers to find models and plans, could outperform specialized planners.
Academic text (2011) -
Learning propositional logic helps students evaluate arguments systematically.
Synonyms
47
4.3
The study of correct thinking and strong arguments
1
6.4
A part of math that studies rules and proofs about statements
1
6.7
The study of rules that show when an argument is valid
A part of logic that studies simple statements and how they link using and or not
A way of using signs like letters to show the structure of arguments and statements
A set of simple rules that uses true and false to make decisions
A set of rules and ideas used to decide if an argument is correct
Surface Forms
Morphology
The meaning 'a branch of logic about propositions' is directly compositional from 'propositional' (concerned with statements/propositions) + 'logic' (the study of valid inference), so a learner who knows both constituents can infer the phrase. This is a standard noun–modifier construction found cross-linguistically and follows predictable semantic composition, making it immediately understandable at B1 if the constituent meanings are known.
Etymology
The term propositional logic literally joins proposition and logic: a proposition is a simple sentence that is either 'true' or 'false', and logic is the rules for joining these sentences with words like 'and', 'or', and 'not'. So, propositional logic is the part of logic that looks at whole statements and how combining them with 'and', 'or', 'not' changes whether they are true.