Що таке PROPOSITIONAL FUNCTION Українською - Українська переклад

• пропозиційна функція
• пропозіціональная функція
• пропозіціональному функцію

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

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

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

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

If you say“There is a universe,” that meaning of“there is” will be quite different from the meaning in which you say“There is a particular,” which means that“the propositional function‘x is a particular' is sometimes true.”.
Якщо ви говорите:'Універсум існує', дане значення'існує' буде абсолютно відмінним від значення, в якому ви говорите:'Існують індивіди', і яке має на увазі, що'пропозіціональная функція"х- індивід" іноді є істинною'.

You want to say of a propositional function that it is sometimes true.
Ви хочете сказати про пропозициональной функції, що вона іноді є істинною.

The element c must be completely arbitrary; else, the logic does not follow: if c is not arbitrary, and is instead a specific element of the universe of discourse, then P(c) only implies an existential quantification of the propositional function.
Елемент c повинен бути цілком довільним; інакше логіка не виконується: якщо c не довільний, і є натомість конкретний елемент універсуму дискурсу, то P(c) лише має на увазі квантор існування пропозиційної функції.

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

So that you arrive at the fact that the ultimate important notion involved in existence is the notion that I developed in the lecture before last, the notion of a propositional function being sometimes true, or being, in other words, possible.
Таким чином, ви приходите до того, що вкрай важливе поняття, що включає в себе існування, являє собою поняття, яке я розвивав у позаминулому лекції, поняття пропозициональной функції, що є іноді істинною або, іншими словами, що є можливою.

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

We mean partly that we do not know whether it will rain or whether it will not, but also that we do know that that is the sort of proposition that is quite apt to be true, that it is a value of a propositional function of which we know some value to be true.
Почасти ми маємо на увазі, що нам не відомо, буде дощ, або ж ні, але також маємо на увазі і те, що знаємо, що цей тип пропозиції цілком здатний бути істинним, що про значення пропозициональной функції нам відомо, що якесь значення є істинним.

We say of a propositional function that it is possible, where there are cases in which it is true.
Ми говоримо про пропозициональной функції, що вона є можливою, коли є випадки, при яких вона є істинною.

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

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:.
Наприклад, якщо P(x)- пропозиційна функція«x більше 0 і менше 1», то для області дискурсу X усіх натуральних чисел квантор існування«Існує натуральне число x, яке більше 0 і менше 1» символічно має вигляд:.

All the things you want to say about classes are the same as the things you want to say about propositional functions excepting for accidental and irrelevant linguistic forms, with, however, a certain proviso which must now be explained.
Все те, що ви хочете сказати про класи, однаково з тим, що ви хочете сказати про пропозіціональних функціям виключаючи випадкові і недоречні лінгвістичні форми, однак з певними застереженнями, які тепер повинні бути пояснені.

When I say a propositional function is possible, meaning there are cases in which it is true, I am consciously using the word“possible” in an unusual sense, because I want a single word for my fundamental idea, and cannot find any word in ordinary language that expresses what I mean.
Коли я кажу, що пропозіціональная функція є можливою, маючи на увазі існування випадків, в яких вона яв-ляется істинної, я свідомо використовую слово 'можливо' в незвичайному сенсі, оскільки мені потрібно єдине слово для моєї фундаментальної ідеї, і я не можу знайти якогось слова в звичайному мовою, яке виражає те, що я маю на увазі.

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

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

There are a certain number of things which you can say about a propositional function which would not be true if you substitute another formally equivalent propositional function for it.
Є багато такого, що ви можете сказати про пропозициональной функції, яка не була б дійсною, якщо б ви підставили іншу формально еквівалентну пропозіціональному функцію..

On the other hand, any statement about a propositional function which will remain true or remain false, as the case may be, when you substitute for it another formally equivalent propositional function, maybe regarded as being about the class which is associated with the propositional function..
З іншого боку, будь-яке висловлювання про пропозициональной функції, яка залишається істинною або залишається помилковою, залежно від обставин, коли ви підставляєте замість неї іншу формально еквівалентну пропозіціональному функцію, може розглядатися як що відноситься до класу, який асоціюється з пропозициональной функцією..

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.
Універсальний екземпляр заключає, що, якщо пропозиційна функція, як відомо, є універсально істинною, то вона повинна бути істинною для будь-якого довільного елементу універсуму дискурсу.

For instance, the propositional function“x is a man” is one which has to do with the concept of humanity.
Наприклад, пропозіціональная функція 'х- людина' одна з тих, що повинні мати справу з поняттям людство.

You mean simply that the propositional function“x is a color between blue and yellow” is one which is capable of truth.
Ви просто розумієте, що пропозіціональная функція 'х- колір між синім і жовтим 'являє собою функцію, яка здатна бути істинною.

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.
Наприклад, якщо P(x)- пропозиційна функція«x одружений», то, для універсуму дискурсу X усіх живих людей, квантор загальності.

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

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

Some of the things that you can say about a propositional function will not necessarily remain true if you substitute another formally equivalent propositional function in its place.
Дещо з того, що ви можете сказати про пропозициональной функції, не буде необхідно залишатися істинним, якщо ви на її місце підставите іншу формально еквівалентну пропозіціональному функцію..

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.
Екзистенційне введення(∃I) заключає, що, якщо пропозиційна функція, як відомо, істинна для конкретного елементу області дискурсу, то повинно бути істиною те, що існує елемент, для якого пропозиційна функція істинна.

A valuation is a function that assigns each propositional variable either T(for truth) or F(for falsity).
Оцінка є функцією, яка присвоює кожній пропозиціональній змінні або T(істина) або F(для брехня).

A valuation is a function that assigns each propositional variable either T(for truth) or F(for falsity).
Оцінка є функцією, яка присвоює кожній пропозиціональній змінні або T(істина) або F(хибність).