English)

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

propositional MATH, COMPUT

Your search term in other parts of the dictionary

propositional

proposizionale MATH, COMPUT

propositional

oblatore (oblatrice)

= tenderer of propositional payment

English

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

Would you like to add a word, a phrase or a translation?

Submit a new entry.

English