Пропозициональная - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Пропозициональная логика - это логическая система, тесно связанная с булевой алгеброй. |
Propositional logic is a logical system that is intimately connected to Boolean algebra. |
К ним относятся теория двойного кода, пропозициональная теория и гипотеза функциональной эквивалентности. |
These include the dual-code theory, the propositional theory, and the functional-equivalency hypothesis. |
Многие дл более выразительны, чем пропозициональная логика, но менее выразительны, чем логика первого порядка. |
Many DLs are more expressive than propositional logic but less expressive than first-order logic. |
Сама пропозициональная логика была известна как непротиворечивая, но то же самое не было установлено для аксиом теории множеств Principia. |
Propositional logic itself was known to be consistent, but the same had not been established for Principia's axioms of set theory. |
В то время как пропозициональная логика имеет дело с простыми декларативными пропозициями, логика первого порядка дополнительно охватывает предикаты и квантификацию. |
While propositional logic deals with simple declarative propositions, first-order logic additionally covers predicates and quantification. |
Это кажется обманчивым, поскольку то, что связывается, определенно не является нейронным – это либо квалиа, либо пропозициональная информация. |
It seems misleading since whatever is being bound is definitely not neural – it is either qualia or propositional information. |
Одним из мотивирующих применений пропозиционального исчисления является анализ пропозиций и дедуктивных аргументов в естественном языке. |
One motivating application of propositional calculus is the analysis of propositions and deductive arguments in natural language. |
Фатализм оспаривается утверждением, что существуют пропозиции, которые не являются ни истинными, ни ложными, например, они могут быть неопределенными. |
I felt the less he said, the stronger he became and the more he grew in the imagination of the audience. |
В пропозициональной логике утверждение - это предложение, которое либо истинно, либо ложно. |
In propositional logic, a statement is a sentence that is either true or false. |
Андерсон утверждает, что четыре истины имеют как символическую, так и пропозициональную функцию. |
Anderson argues that the four truths have both a symbolic and a propositional function. |
Но черепаха не принимает на веру правила пропозициональной логики, на которых основано это объяснение. |
But the tortoise does not accept on faith the rules of propositional logic that this explanation is founded upon. |
Эта семантика допускает перевод между тавтологиями пропозициональной логики и эквационными теоремами булевой алгебры. |
These semantics permit a translation between tautologies of propositional logic and equational theorems of Boolean algebra. |
Пирронисты не соглашаются с неочевидными пропозициями, то есть с догмой. |
Pyrrhonists withhold assent with regard to non-evident propositions, that is, dogma. |
В более общем плане теории обоснования фокусируются на обосновании утверждений или пропозиций. |
More generally, theories of justification focus on the justification of statements or propositions. |
Таким образом, Булева логика иногда используется для обозначения пропозиционального исчисления, выполняемого таким образом. |
Thus, Boolean logic is sometimes used to denote propositional calculus performed in this way. |
Хотя он и не разработал реальной теории темпоральных пропозиций, он все же изучил отношение между temporalis и импликацией. |
Although he did not develop a real theory of temporal propositions, he did study the relationship between temporalis and the implication. |
В основе теорий переговоров лицом к лицу лежат 24 пропозиции. |
The heart of Face Negotiation Theories are 24 propositions. |
Символическая логика обычно делится на два подполя: пропозициональную логику и логику предикатов. |
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. |
Синтаксически каждый Булев термин соответствует пропозициональной формуле пропозициональной логики. |
Syntactically, every Boolean term corresponds to a propositional formula of propositional logic. |
Весь материал, который мы имеем здесь для приобретения знания, уже обсуждается в статье о пропозициональном знании. |
All the material we have here on to acquire knowledge already is discussed in the propositional knowledge article. |
Исследования показали, что более поздние воспоминания в детстве имеют больше пропозиционального и эмоционального содержания, чем более ранние воспоминания, и оцениваются как более значимые и яркие. |
Research has found that later memories in childhood have more propositional and emotional content than earlier memories and are rated as more meaningful and vivid. |
Онтология этики имеет дело с ценностными вещами или свойствами, то есть с теми вещами или вещами, на которые ссылаются этические пропозиции. |
The ontology of ethics is about value-bearing things or properties, i.e. the kind of things or stuff referred to by ethical propositions. |
Если φp и ψp-элементарные пропозициональные функции, которые принимают элементарные пропозиции в качестве аргументов, то φp ∨ ψp-элементарное предложение. |
If φp and ψp are elementary propositional functions which take elementary propositions as arguments, φp ∨ ψp is an elementary proposition. |
Семантика пропозициональной логики опирается на задания истинности. |
The semantics of propositional logic rely on truth assignments. |
Однако в других сутрах, где четыре истины выполняют пропозициональную функцию, постижение четырех истин разрушает искажения. |
Yet, in other sutras, where the four truths have a propositional function, the comprehension of the four truths destroys the corruptions. |
При утверждении пропозиции можно использовать атрибуты, чтобы, по крайней мере, описать понятие, такое связное представление передается в языке. |
When asserting the proposition, one can use attributes to at least describe the concept such a cohesive idea is transferred in language. |
Заключение статистического вывода - это статистическая пропозиция. |
The conclusion of a statistical inference is a statistical proposition. |
Простая задача проверки модели состоит в проверке того, удовлетворяет ли формула в пропозициональной логике заданной структуре. |
A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure. |
Случай, когда они являются формулами в пропозициональной логике, является одним из наиболее изученных. |
The case in which they are formulae in propositional logic is one of the most studied. |
В частности, для построения восьми пропозиций используются низкий-высокий контекст и рамки индивидуализма-коллективизма. |
Specifically, low-high context and individualism-collectivism frameworks are used to draw the eight propositions. |
Логическая эквивалентность между двумя пропозициями означает, что они вместе истинны или вместе ложны. |
Logical equivalence between two propositions means that they are true together or false together. |
То есть Геттиер утверждал, что, хотя обоснованная вера в истинную пропозицию необходима для того, чтобы эта пропозиция была известна, ее недостаточно. |
That is, Gettier contended that while justified belief in a true proposition is necessary for that proposition to be known, it is not sufficient. |
Он утверждает, что пропозиция истинна, потому что она еще не доказана ложной, или пропозиция ложна, потому что она еще не доказана истинной. |
It asserts that a proposition is true because it has not yet been proven false or a proposition is false because it has not yet been proven true. |
Во-первых, в области оснований Буль свел четыре пропозициональные формы Аристотеля к одной форме-форме уравнений, что само по себе было революционной идеей. |
First, in the realm of foundations, Boole reduced Aristotle's four propositional forms to one form, the form of equations, which by itself was a revolutionary idea. |
Как пропозиции, четыре истины представляют собой концептуальную структуру, которая появляется в Палийском каноне и ранних гибридных санскритских буддийских писаниях. |
As propositions, the Four Truths are a conceptual framework that appear in the Pali canon and early Hybrid Sanskrit Buddhist scriptures. |
Утверждение следствия, по существу, то же самое, что и ошибочность нераспределенной середины, но с использованием пропозиций, а не членства в множестве. |
Affirming the consequent is essentially the same as the fallacy of the undistributed middle, but using propositions rather than set membership. |
Князь от имени своего воспитанника... сына, тебе делает пропозицию. |
The prince is making a proposition to you in his pupil's-I mean, his son's-name. |
Последняя версия, которая мне понравилась, была написана американцами, хотя она немного сосредоточена на пропозициях. |
The last version I like was this oneprimarily written by Amerindianarts, even though it is a little focused on propositions. |
Это попытка доказать пропозицию, одновременно принимая ее как нечто само собой разумеющееся. |
It is an attempt to prove a proposition while simultaneously taking the proposition for granted. |
Некоторые теории допускают, что несущими истину являются не пропозициональные сущности, такие как слова и картинки. |
Some theories allow non-propositional entities like words and pictures to be truthbearers. |
Например, подстановка предложений в естественном языке вместо логических переменных, обратная следующей условной пропозиции. |
For example, substituting propositions in natural language for logical variables, the inverse of the following conditional proposition. |
Пропозиция есть объективная составляющая, значение которой тождественно названному ею объекту и является либо истинной, либо ложной. |
A proposition is an objective constituent the meaning of which is the same as the object being named by it, and is either true or false. |
Пропозиция - это абстрактная сущность, выраженная предложением, содержащаяся в убеждении или утвержденная в утверждении или суждении. |
A proposition is the abstract entity expressed by a sentence, held in a belief, or affirmed in an assertion or judgment. |
Он писал о гипотетическом силлогизме и о пропозициональном исчислении, которые были частью стоической логической традиции. |
He wrote on the hypothetical syllogism and on the propositional calculus, which were both part of the Stoic logical tradition. |
Пропозициональное исчисление ограничивает внимание абстрактными пропозициями, построенными из пропозициональных переменных с использованием булевых операций. |
Propositional calculus restricts attention to abstract propositions, those built up from propositional variables using Boolean operations. |
Парадокс - это утверждение или пропозиция, которые противоречат друг другу, неразумны или нелогичны. |
A paradox is a statement or proposition which is self-contradictory, unreasonable, or illogical. |
Они утверждают, что если отношение человека к пропозиции соответствует их доказательствам, то их доксастическое отношение к этой пропозиции эпистемически оправдано. |
They argue that if a person's attitude towards a proposition fits their evidence, then their doxastic attitude for that proposition is epistemically justified. |
В 1934 году он сформулировал принцип аналитической индукции, предназначенный для выявления универсальных пропозиций и причинных законов. |
In 1934 he formulated the principle of analytic induction, designed to identify universal propositions and causal laws. |
Аксиоматизация пропозиционального исчисления - это набор тавтологий, называемых аксиомами, и одно или несколько правил вывода для получения новых тавтологий из старых. |
An axiomatization of propositional calculus is a set of tautologies called axioms and one or more inference rules for producing new tautologies from old. |
Новый интерес к стоической логике возник в XX веке, когда важные разработки в логике были основаны на логике пропозициональной. |
New interest in Stoic logic came in the 20th century, when important developments in logic were based on propositional logic. |
Сомнение - это ментальное состояние, в котором ум остается подвешенным между двумя или более противоречивыми пропозициями, неспособный согласиться ни с одной из них. |
Doubt is a mental state in which the mind remains suspended between two or more contradictory propositions, unable to assent to any of them. |
Она формируется его центральным различием между аналитическими и синтетическими пропозициями. |
It is shaped by his central distinction between analytic and synthetic propositions. |
Они пытаются показать, что предполагаемые пропозиции приводят к логическому противоречию и поэтому не все могут быть правильными. |
They attempt to show that the assumed propositions lead to a logical contradiction and therefore cannot all be correct. |
Это означает делать этику из фактов, конструируя нормативные пропозиции a posteriori. |
It means doing ethics from the facts constructing normative propositions a posteriori. |
В частности, таблицы истинности можно использовать для того, чтобы показать, является ли пропозициональное выражение истинным для всех допустимых входных значений, то есть логически допустимым. |
In particular, truth tables can be used to show whether a propositional expression is true for all legitimate input values, that is, logically valid. |
В той мере, в какой истинность веры выражается в сентенциальной и пропозициональной форме, мы пользуемся чувством веры-именно так, а не верой. |
Insofar as the truth of belief is expressed in sentential and propositional form we are using the sense of belief-that rather than belief-in. |
Подразумевается, что критикуемое выражение или пропозиция лишены субстанции или конгруэнтности, в противоположность тому, что они просто являются различными взглядами. |
The implication is that the criticized expression or proposition lacks substance or congruence, as opposed to simply being a differing view. |
Затем пропозициональные формулы можно было проверить на предмет их неудовлетворительности с помощью ряда методов. |
The propositional formulas could then be checked for unsatisfiability using a number of methods. |
Четыре истины появляются во многих грамматических формах в древних буддийских текстах, и они имеют как символическую, так и пропозициональную функцию. |
The four truths appear in many grammatical forms in the ancient Buddhist texts, and they have both a symbolic and a propositional function. |
- пропозициональная логика - propositional logic
- пропозициональная форма - propositional form
- пропозициональная связка - propositional connective
- пропозициональная переменная - proposition variable
- интуиционистская пропозициональная тавтология - intuitionistic propositional tautology
- пропозициональная тавтология - propositional tautology
- позитивная пропозициональная тавтология - positive propositional tautology
- пропозициональная функция - prepositional function
- пропозициональная иерархия - prepositional hierarchy
