Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Logical_connective> ?p ?o. }
Showing items 1 to 58 of
58
with 100 items per page.
- Logical_connective abstract "In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences.The most common logical connectives are binary connectives (also called dyadic connectives) which join two sentences which can be thought of as the function's operands. Also commonly, negation is considered to be a unary connective.Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic. Semantics of a logical connective is often, but not always, presented as a truth function.".
- Logical_connective wikiPageExternalLink connectives-logic.
- Logical_connective wikiPageExternalLink logical-constants.
- Logical_connective wikiPageID "18153".
- Logical_connective wikiPageRevisionID "603573900".
- Logical_connective hasPhotoCollection Logical_connective.
- Logical_connective id "p/p075490".
- Logical_connective title "Propositional connective".
- Logical_connective subject Category:Logic_symbols.
- Logical_connective subject Category:Logical_connectives.
- Logical_connective type Abstraction100002137.
- Logical_connective type Appearance104673965.
- Logical_connective type Attribute100024264.
- Logical_connective type Communication100033020.
- Logical_connective type Conjunction106325826.
- Logical_connective type Countenance104679549.
- Logical_connective type Expression104679738.
- Logical_connective type FunctionWord106291318.
- Logical_connective type LanguageUnit106284225.
- Logical_connective type LogicSymbols.
- Logical_connective type LogicalConnectives.
- Logical_connective type LogicalExpressions.
- Logical_connective type Part113809207.
- Logical_connective type Quality104723816.
- Logical_connective type Relation100031921.
- Logical_connective type Signal106791372.
- Logical_connective type Symbol106806469.
- Logical_connective type Word106286395.
- Logical_connective comment "In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences.The most common logical connectives are binary connectives (also called dyadic connectives) which join two sentences which can be thought of as the function's operands.".
- Logical_connective label "Booleaanse operator".
- Logical_connective label "Conectiva lógica".
- Logical_connective label "Conectivo lógico".
- Logical_connective label "Connecteur logique".
- Logical_connective label "Connettivo logico".
- Logical_connective label "Funktor zdaniotwórczy".
- Logical_connective label "Junktor".
- Logical_connective label "Logical connective".
- Logical_connective label "Логическая операция".
- Logical_connective label "論理演算".
- Logical_connective label "逻辑运算符".
- Logical_connective sameAs Junktor.
- Logical_connective sameAs Λογικές_συναρτήσεις.
- Logical_connective sameAs Conectiva_lógica.
- Logical_connective sameAs Eragile_logiko.
- Logical_connective sameAs Connecteur_logique.
- Logical_connective sameAs Operator_logika.
- Logical_connective sameAs Connettivo_logico.
- Logical_connective sameAs 論理演算.
- Logical_connective sameAs 논리_연산.
- Logical_connective sameAs Booleaanse_operator.
- Logical_connective sameAs Funktor_zdaniotwórczy.
- Logical_connective sameAs Conectivo_lógico.
- Logical_connective sameAs m.04m39.
- Logical_connective sameAs Q211790.
- Logical_connective sameAs Q211790.
- Logical_connective sameAs Logical_connective.
- Logical_connective wasDerivedFrom Logical_connective?oldid=603573900.
- Logical_connective isPrimaryTopicOf Logical_connective.