Esempi monolingue (non verificati dalla Redazione di PONS)

inglese
Let us re-examine some of the connectives with explicit proofs.
en.wikipedia.org
The connectives in a multi-valued logic, however, have a different meaning than those of classic logic.
en.wikipedia.org
From this one connective all other connectives can be constructed (see more below).
en.wikipedia.org
Space builders can be expressions like prepositional phrases, adverbs, connectives, and subject-verb combinations that are followed by an embedded sentence.
en.wikipedia.org
For propositional connectives, this is easy; one simply applies the corresponding Boolean operators to the truth values of the subformulae.
en.wikipedia.org
However, intuitionistic connectives are not definable in terms of each other in the same way as in classical logic, hence their choice matters.
en.wikipedia.org
The natural interpretation of is negation; that of concatenation is any connective that, when combined with negation, forms a functionally complete set of connectives.
en.wikipedia.org

Pagina in Deutsch | English | Español | Français | Italiano | Polski