PROPOSITIONAL IN SPANISH TRANSLATION

• proposicional
• propositiva
• proposición
• preposicionales
• proposicionales
• propositivo
• proposiciones

Examples of using Propositional in English and their translations into Spanish

This approach requires more propositional axioms, and each equivalence between logical forms must be either an axiom
Este enfoque requiere más axiomas proposicionales y cada equivalencia entre las formas lógicas debe ser o bien un axioma o comprobada

Synthesis: Engineers in particular synthesize propositional formulas(that eventually end up as circuits of symbols)
Síntesis: los ingenieros en particular sintetizan fórmulas proposicionales(que eventualmente terminan como circuitos de símbolos)

In contrast, propositional formulae in intuitionistic logic are not assigned a definite truth value
En contraste, las fórmulas proposicionales en lógica intuicionista no tienen un valor definitivo de verdad asignado

Linguistically, propositional attitudes are denoted by a verb(e.g."believed")
Lingüísticamente, las actitudes proposicionales se denotan con un verbo(por ejemplo,"creo")

with a semantic of a collection of propositional variables.
con una semántica de una colección de variables proposicionales.

Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives,
Las fórmulas en lógica son comúnmente construidas recursivamente a partir de algunas variables proposicionales, algún número de conectivos lógicos,

Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
Las variables proposicionales son los bloques de construcción básicos de las fórmulas proposicionales, usadas en lógica proposicional y en lógicas superiores.

they are often written as propositional formulas involving random variables.
frecuentemente se escriben como fórmulas proposicionales que contienen variables aleatorias.

Arbitrary propositional formulas are built from propositional variables and other propositional formulas using propositional connectives.
Las fórmulas proposicionales arbitrarias se construyen a partir de variables proposicionales y otras fórmulas proposicionales que usan conectivos proposicionales.

Dogmatic theology emphasizes the importance of propositional truth over experiential, sensory perceptions.
La teología dogmática hace hincapié en la importancia de la verdad propuesta, por encima de la experiencia, o las percepciones sensoriales.

personal as well as propositional;
la verdad en Cristo es(i) personal, además de proposicional;

the only propositional connectives a formula in CNF can contain are
los únicos conectivos lógicos que pueden aparecer en una fórmula en FNC son la conjunción,

Some programmes emphasise propositional knowledge(knowing what), while others emphasise procedural knowledge(knowing how),
En algunos programas se hace hincapié en el conocimiento proposicional(saber qué), en tanto que otros ponen énfasis en el conocimiento procesal(saber cómo),

the show was propositional, catalyzing much thought
la exposición fue propositiva, catalizando mucho del pensamiento

The Bayesian interpretation of probability can be seen as an extension of propositional logic that enables reasoning with hypotheses,
La interpretación bayesiana de la probabilidad puede ser vista como una extensión de la lógica proposicional que permite razonar con hipótesis,

Although propositional logic(which is interchangeable with propositional calculus) had been hinted by earlier philosophers,
Aunque la lógica proposicional(que es intercambiable con el cálculo proposicional) había sido insinuada por los filósofos anteriores,

Langer distinguishes between two kinds of symbols: propositional or discursive symbols related to logical,
Langer distingue entre dos tipos de símbolos: símbolos proposicionales o discursivos relacionados con el pensamiento lógico,

In propositional logic, disjunction elimination(sometimes named proof by cases,
En lógica proposicional, la eliminación de la disyunción(a veces llamada prueba por casos

Propositional attitudes are often assumed to be the fundamental units of thought
A menudo se asume que las actitudes proposicionales son las unidades fundamentales del pensamiento

In Boolean-valued semantics(for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra;"true" corresponds to the maximal element of the algebra,
En los valores semánticos de Boole(para la lógica proposicional clásica), los valores de verdad son los elementos de una álgebra arbitraria;"cierto" corresponde al elemento máximo del álgebra,