Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Propositional_formula> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Propositional_formula abstract "In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as P and Q, using connectives such as NOT, AND, OR, and IMPLIES; for example:(P AND NOT Q) IMPLIES (P OR Q).In mathematics, a propositional formula is often more briefly referred to as a "proposition", but, more precisely, a propositional formula is not a proposition but a formal expression that denotes a proposition, a formal object under discussion, just like an expression such as "x + y" is not a value, but denotes a value. In some contexts, maintaining the distinction may be of importance.".
- Propositional_formula wikiPageID "1557634".
- Propositional_formula wikiPageRevisionID "591535039".
- Propositional_formula date "October 2013".
- Propositional_formula hasPhotoCollection Propositional_formula.
- Propositional_formula reason "I consider this presentation as over-sophisticated; a mathematician would speak of a property W which may apply to p or may not, i.e. where W may evaluate to the truth value T or F, respectively, but not to a set {T,F} of truth values. If the current presentation shall be kept, at least T and F need to be explained in the article.".
- Propositional_formula subject Category:Boolean_algebra.
- Propositional_formula subject Category:Logical_expressions.
- Propositional_formula subject Category:Propositional_calculus.
- Propositional_formula subject Category:Propositions.
- Propositional_formula subject Category:Statements.
- Propositional_formula subject Category:Syntax_(logic).
- Propositional_formula type Abstraction100002137.
- Propositional_formula type Appearance104673965.
- Propositional_formula type Attribute100024264.
- Propositional_formula type Communication100033020.
- Propositional_formula type Countenance104679549.
- Propositional_formula type Expression104679738.
- Propositional_formula type LogicalExpressions.
- Propositional_formula type Message106598915.
- Propositional_formula type Proposition106750804.
- Propositional_formula type Propositions.
- Propositional_formula type Quality104723816.
- Propositional_formula type Statement106722453.
- Propositional_formula type Statements.
- Propositional_formula comment "In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value.".
- Propositional_formula label "Aussage".
- Propositional_formula label "Propositional formula".
- Propositional_formula label "Высказывание (логика)".
- Propositional_formula sameAs Aussage.
- Propositional_formula sameAs m.05b5z6.
- Propositional_formula sameAs Q1372900.
- Propositional_formula sameAs Q1372900.
- Propositional_formula sameAs Propositional_formula.
- Propositional_formula wasDerivedFrom Propositional_formula?oldid=591535039.
- Propositional_formula isPrimaryTopicOf Propositional_formula.