Що таке ПРОПОЗИЦІЙНА Англійською - Англійська переклад

• propositional

Приклади вживання Пропозиційна Українська мовою та їх переклад на Англійською

Будь-яка пропозиційна змінна є формулою.
Any propositional variable is a formula;

Цей тип відрізняється від конвертованості та часто визначається як пропозиційна рівність.
This type is different from convertibility, and is often denoted propositional equality.

Будь-яка пропозиційна змінна є формулою.
Every propositional variable is a formula.

Пропозиційна теорія стверджує, що ментальні репрезентації зберігаються у вигляді пропозиції, а не як образи.
The propositional theory claims that mental representations are stored as propositions rather than as images.

Квантифікована пропозиційна функція є судженням;
A quantified propositional function is a statement;

Він виражає, що пропозиційна функція може бути задоволена кожним членом області дискурсу.
It expresses that a propositional function can be satisfied by every member of a domain of discourse.

Квантифікована пропозиційна функція є судженням;
Note that a quantified propositional function is a statement;

Квантифікована пропозиційна функція є судженням; тому, як і судження, квантифіковані функції можуть бути заперечені.
A quantified propositional function is a statement; thus, like statements, quantified functions can be negated.

Некласичною логікою називається формальна система, що істотно відрізняється від стандартних логічних систем, таких як пропозиційна та предикативна логіка.
Non-classical logics are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic.

Слід зазначити, що квантифікована пропозиційна функція є судженням; таким чином, подібно до суджень, квантифіковані функції можуть бути заперечені.
Note that a quantified propositional function is a statement; thus, like statements, quantified functions can be negated.

Наприклад, якщо P(x)- пропозиційна функція«x більше 0 і менше 1», то для області дискурсу X усіх натуральних чисел квантор існування«Існує натуральне число x, яке більше 0 і менше 1» символічно має вигляд:.
For example, if P(x) is the propositional function"x is greater than 0 and less than 1", then, for a domain of discourse X of all natural numbers, the existential quantification"There exists a natural number x which is greater than 0 and less than 1" is symbolically stated:.

Міркування за усуненням існування(∃E) наступні: Якщо дано, що існує елемент, для якого пропозиційна функція істинна, і якщо висновку можна досягти, давши цьому елементові довільне ім'я, то висновок неодмінно істинний так довго, поки він не містить імені.
The reasoning behind existential elimination(∃E) is as follows: If it is given that there exists an element for which the proposition function is true, and if a conclusion can be reached by giving that element an arbitrary name, that conclusion is necessarily true, as long as it does not contain the name.

Наприклад, якщо P(x)- пропозиційна функція«x одружений», то, для універсуму дискурсу X усіх живих людей, квантор загальності.
For example, if P(x) is the propositional function"x is married", then, for a universe of discourse X of all living human beings, the universal quantification.

Універсальне узагальнення заключає, що пропозиційна функція повинна бути універсально істинною, якщо вона істинна для будь-якого довільного елементу універсуму дискурсу.
Universal generalization concludes the propositional function must be universally true if it is true for any arbitrary element of the universe of discourse.

Універсальний екземпляр заключає, що, якщо пропозиційна функція, як відомо, є універсально істинною, то вона повинна бути істинною для будь-якого довільного елементу універсуму дискурсу.
Universal instantiation concludes that, if the propositional function is known to be universally true, then it must be true for any arbitrary element of the universe of discourse.

Екзистенційне введення(∃I) заключає, що, якщо пропозиційна функція, як відомо, істинна для конкретного елементу області дискурсу, то повинно бути істиною те, що існує елемент, для якого пропозиційна функція істинна.
Existential introduction(∃I) concludes that, if the propositional function is known to be true for a particular element of the domain of discourse, then it must be true that there exists an element for which the proposition function is true.

Сенс цього правила в рамках стійкої моделі семантики є пропозиційною формулою.
The meaning of this rule under the stable model semantics is represented by the propositional formula.

Сенс цього правила може бути представлений у вигляді пропозиційної формули.
The meaning of this rule can be represented by the propositional formula.

Ці літери також називаються пропозиційними.
These gifts are also called offerings.

Джон Андерсон і Гордон Бауер запропонували альтернативний спосіб- пропозиційну теорію- про те, як знання подумки уявляється.
John Anderson and Gordon Bower proposed an alternative method- the propositional theory- of how knowledge is mentally represented.

Іноді P(x) також називається пропозиційну функцію, так як кожен вибір з Х створює пропозицію.
Sometimes, P(x) is also called a propositional function, as each choice of x produces a proposition.

Іноді P(x) також називається пропозиційну функцію, так як кожен вибір з Х створює пропозицію.
Sometimes, P(x) is also called a(template in the role of) propositional function, as each choice of the placeholder x produces a proposition.

Одним з результатів наукових пошуків Міклоша Айтая свідчить, що довжина доказів у пропозиційній логіці з принципу Діріхле для n предметів зростає швидше, ніж будь-який поліном в n.
One of Ajtai's results states that the length of proofs in propositional logic of the pigeonhole principle for n items grows faster than any polynomial in n.

Такa формула може бути істинною або хибною на підставі значень, приписаних його пропозиційним змінним.
Such a formula can be made either true or false based on the values assigned to its propositional variables.

Набір логічних зв'язків, які пов'язані з формальною системою, є функціонально повними, якщо вони можуть висловити всю пропозиційну функцію.
A set of logical connectives associated with a formal system is functionally complete if it can express all propositional functions.

Тільки нелогічні символи на формальній мові для логіки висловлювань є пропозиційними символами, які часто позначаються великими літерами.
The only non-logical symbols in a formal language for propositional logic are the propositional symbols, which are often denoted by capital letters.

Щоб зробити формальну мову точніше, конкретний набір пропозиційних символів повинен бути закріплений.
To make the formal language precise, a specific set of propositional symbols must be fixed.

Загалом, тоді заперечення квантора існування пропозиційної функції є квантором загальності заперечення тієї ж пропозиційної функції; символічно:.
Generally, then, the negation of a propositional function's existential quantification is a universal quantification of that propositional function's negation; symbolically.

На відміну від логіки висловлювань, де кожна мова є тим самим, крім вибору іншого набору пропозиційних змінних, існує безліч різних мов першого порядку.
Unlike propositional logic, where every language is the same apart from a choice of a different set of propositional variables, there are many different first-order languages.

В цій роботі представлено, як можна побудувати секвенційні числення без структурних правил(але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником рівності(тобто скінченною множиною унарних похідних пропозиційних зв'язок зі спеціальною властивістю).
In this paper we show how one can construct sequential calculi without structural rules(but with admissible structural rules) for arbitrary propositional finitely-valued logics with an identity determinant(that is, a finite set of unary secondary propositional connectives with a special property).