Vous avez cherché: propositional (Anglais - Russe)

propositional
Суждение

propositional logic
Логика высказываний

propositional bets are resolved in one roll.
Дополнительные ставки разрешаются одним броском.

instantiation. the problem is not that on the propositional
Она происходит на духовном уровне.

propositional logic. it's a powerful language for what it doe
Пропозиционная логика - мощный инструмент, в том случае, когда она применима

"on the completeness and decidability of intuitionistic propositional logic".
«on the completeness and decidability of intuitionistic propositional logic».

male narrator here's one more example of reasoning in propositional logic
Вот один из примеров как строится доказательство в пропозициональной логике

in this case we're using propositional logic in digital circuit analysi
Здесь мы используем предполагаемую логику в цифровом круговом анализе

note that the expressions written here are not, themselves, sentences in propositional logic
Заметьте, что все эти выражения, записанные здесь, не самостоятельные предложения

let's jump right into an example, recasting the alarm problem in propositional logic
Давайте сразу перейдём к примеру, и переделаем задачу сигнализации в пропозиционной логике

we'll look at propositional logic and categorical logic, that'll be part two of the course
Мы посмотрим на пропозициональную и категориальную логику, и это будет вторая часть курса

both tools represent important channels of communication with national stakeholders, highlighting a significant propositional or advocacy value.
Оба эти инструмента представляют собой важные каналы поддержания связи с национальными заинтересованными сторонами, особенно с точки зрения выработки различных предложений и информационно-пропагандистской деятельности.

we say that a valid sentence is one that is true in every possible model, for every combination of values of the propositional symbol
Мы говорим, что достаточное предложение - это такое предложение, которое истинно в каждой возможной моделе, для любого набора значений пропозиционных символов

give it a propositional truth assignment and these definitions for operators; we can compute the truth value of any sentences in a language
Найдем предполагаемые истинные значения и определения для следующих операторов. Мы можем высчитать истинное значение любого предложения таким языком

it may sound odd in ordinary english, but in propositional logic, this is the same as true implies true and if we look on this line-the final line for p and q
Это может звучать странно на английском, но в пропозициональной логике, это тоже как истина предполагает истину, и если мы посмотрим на эту строку - последняя строка для p и q

what a truth table does is list all the possibilities for the propositional symbols, so p and q can be false and false, false and true, true and false, or true and true
Таблица истинности предсталяет собой лист всевозможных комбинаций для пропозициональных символов, к примеру Р и q могут быть ложь и ложь; ложь и истина; истина и ложь; истина и истина

male narrator the answers are first, the sentence if @num@ is an odd number, then paris is the capital of france, is true in propositional logic
Ответы вначале, в предложении если @num@ является нечётным числом, тогда Париж - столица Франций является истиной в пропозициональной логике

field is a propositional bet (single-roll) that the next roll will be a 2, 3, 4, 9, 10, 11 or 12.
Ставка field является дополнительной (решается одним броском) и делается на то, что в следующем броске будет выбрашено число 2, 3, 4, 9, 10, 11 или 12.

the analysis showed that propositional models, reflecting the way of knowledge conceptualization in this field are in the structure of terminology considered. the concepts defined, characterize the fishing activity itself, the result of it and scientific methods and models.
Анализ показал, что в основе рассматриваемой терминологии лежат пропозициональные модели, отражающие определенный способ концептуализации знания в данной области в соответствии с концептами, характеризующими саму промысловую деятельность, результат этой деятельности, инструмент.

now, i want you to tell me for each of the @num@ propositional symbols, is that symbol true or false, or unknown in this model, and tell me for the symbols e, b, a, j, and m
И теперь я прошу вас сказать мне для каждого из пяти пропозиционных символом, является ли он истиной, ложью или неопределён в этой моделе, а именно для символов Е, В, А, j и m