Translations for „logical connective“ in the English » German Dictionary

logical connective N

User Entry

logical connective COMPUT, MATH

logische Verknüpfung

Monolingual examples (not verified by PONS Editors)

English

Occasionally other logical connective symbols are included.

en.wikipedia.org

Very useful are search options that allow the use of wildcard characters and logical connectives in search strings.

en.wikipedia.org

The set of logical connectives and quantifiers extends the usual set used by first-order logics, all taking one or more arbitrarily-sized sets of arguments.

en.wikipedia.org

Besides explicit conjunction, conjunctive grammars allow implicit disjunction represented by multiple rules for a single nonterminal symbol, which is the only logical connective expressible in context-free grammars.

en.wikipedia.org

In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.

en.wikipedia.org

Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic.

en.wikipedia.org

Simple propositions are linked together to form non-simple propositions by the use of logical connectives.

en.wikipedia.org

Besides the logical connectives, there are several non-logical connectives.

en.wikipedia.org

Each -formula is built up out of atomic formulas by means of logical connectives; atomic formulas are built from terms using predicate symbols.

en.wikipedia.org

Negation is thus a unary (single-argument) logical connective.

en.wikipedia.org