inglês)

propositional [Brit prɒpəˈzɪʃ(ə)nl, americ ˌprɑpəˈzɪʃ(ə)nl] ADJ

propositional MAT, COMPUT

Mais traduções e expressões típicas para o termo que pesquisou.

propositional

proposizionale MAT, COMPUT

propositional

oblatore (oblatrice)

= tenderer of propositional payment

inglês

Logic sentences that can be expressed in classical propositional calculus have an equivalent expression in Boolean algebra. en.wikipedia.org

It expresses that a propositional function can be satisfied by at least one member of a domain of discourse. en.wikipedia.org

This type is different from convertibility, and is often denoted propositional equality. en.wikipedia.org

However additional problems raise from propositional extensionality and proof irrelevance. en.wikipedia.org

Unfortunately, the idea of epiphenomena in propositional theory is largely subjective and not falsifiable. en.wikipedia.org

In the non-propositional case, the completion needs to be augmented with equality axioms, to formalise the assumption that individuals with distinct names are distinct. en.wikipedia.org

In propositional logic, there is no distinction between a tautology and a logically valid formula. en.wikipedia.org

First, his language is artificially impoverished, and second, the rules for the propositional modal logic must be weakened. en.wikipedia.org

In the propositional case, pointwise and predicate circumscription coincide. en.wikipedia.org

The connectedness conditions, when applied to the propositional (clausal) case, make the resulting calculus non-confluent. en.wikipedia.org

Desejar acrescentar uma palavra, uma frase ou uma tradução?

Envie-nos uma nova entrada.

inglês