Завантажити застосунок
educalingo
Пошук

Значення "substitution instance" у англійська словнику

Словник
СЛОВНИК
section

ВИМОВА SUBSTITUTION INSTANCE У АНГЛІЙСЬКА

substitution instance play
facebooktwitterpinterestwhatsapp

ЩО SUBSTITUTION INSTANCE ОЗНАЧАЄ У АНГЛІЙСЬКА?

Натисніть, щоб побачити визначення of «substitution instance» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

Заміна (логіка)

Substitution (logic)

Заміна є фундаментальним поняттям у логіці. Заміна є синтаксичним перетворенням на формальних виразах. Застосування заміни до виразу означає, що послідовно замінювати його змінну чи символ-заповнювач символи іншими виразами. Вираз результату називається екземпляром заміни вихідного виразу. Substitution is a fundamental concept in logic. A substitution is a syntactic transformation on formal expressions. To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols by other expressions. The result expression is called a substitution instance of the original expression.

Натисніть, щоб побачити визначення of «substitution instance» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

АНГЛІЙСЬКА СЛОВА, ЩО ПОЧИНАЮТЬСЯ ТАК САМО ЯК SUBSTITUTION INSTANCE

substate
substation
substellar
substernal
substituent
substitutability
substitutable
substitute
substitute teacher
substitution
substitutional
substitutionary
substitutive
substitutively
substitutivity
substraction
substractor
substrata
substratal
substrate

АНГЛІЙСЬКА СЛОВА, ЩО ЗАКІНЧУЮТЬСЯ ТАК САМО ЯК SUBSTITUTION INSTANCE

acceptance
acquaintance
advance
assistance
capacitance
circumstance
Constance
court of first instance
distance
for instance
importance
inheritance
instance
long-distance
reluctance
resistance
stance
substance
the distance
the Resistance
walking distance

Синоніми та антоніми substitution instance в англійська словнику синонімів

СИНОНІМИ

Переклад «substitution instance» на 25 мов

ПЕРЕКЛАДАЧ
online translator

ПЕРЕКЛАД SUBSTITUTION INSTANCE

Дізнайтесь, як перекласти substitution instance на 25 мов за допомогою нашого англійська багатомовного перекладача.
Переклад слова substitution instance з англійська на інші мови, представлений в цьому розділі, було зроблено шляхом автоматичного статистичного перекладу; де основною одиницею перекладу є слово «substitution instance» в англійська.

Перекладач з англійська на китайська

替换实例
1,325 мільйонів носіїв мови

Перекладач з англійська на іспанська

instancia de sustitución
570 мільйонів носіїв мови

англійська

substitution instance
510 мільйонів носіїв мови

Перекладач з англійська на гінді

प्रतिस्थापन उदाहरण
380 мільйонів носіїв мови
ar

Перекладач з англійська на арабська

المثال الاستبدال
280 мільйонів носіїв мови

Перекладач з англійська на російська

подстановковым
278 мільйонів носіїв мови

Перекладач з англійська на португальська

exemplo de substituição
270 мільйонів носіїв мови

Перекладач з англійська на бенгальська

প্রতিস্থাপন উদাহরণ
260 мільйонів носіїв мови

Перекладач з англійська на французька

exemple de substitution
220 мільйонів носіїв мови

Перекладач з англійська на малайська

Contoh pengganti
190 мільйонів носіїв мови

Перекладач з англійська на німецька

Substitution Instanz
180 мільйонів носіїв мови

Перекладач з англійська на японська

代替インスタンス
130 мільйонів носіїв мови

Перекладач з англійська на корейська

대체 예
85 мільйонів носіїв мови

Перекладач з англійська на яванська

Contoh substitusi
85 мільйонів носіїв мови
vi

Перекладач з англійська на в’єтнамська

Ví dụ thay thế
80 мільйонів носіїв мови

Перекладач з англійська на тамільська

மாற்று உதாரணமாக
75 мільйонів носіїв мови

Перекладач з англійська на маратхі

प्रतियोजन प्रसंग
75 мільйонів носіїв мови

Перекладач з англійська на турецька

Ikame örneği
70 мільйонів носіїв мови

Перекладач з англійська на італійська

esempio la sostituzione
65 мільйонів носіїв мови

Перекладач з англійська на польська

przykład zastąpienie
50 мільйонів носіїв мови

Перекладач з англійська на українська

подстановковим
40 мільйонів носіїв мови

Перекладач з англійська на румунська

exemplu substituție
30 мільйонів носіїв мови
el

Перекладач з англійська на грецька

παράδειγμα υποκατάστασης
15 мільйонів носіїв мови
af

Перекладач з англійська на африкаанс

vervanging byvoorbeeld
14 мільйонів носіїв мови
sv

Перекладач з англійська на шведська

substitutions instans
10 мільйонів носіїв мови
no

Перекладач з англійська на норвезька

substitusjon eksempel
5 мільйонів носіїв мови

Тенденції використання substitution instance

ТЕНДЕНЦІЇ

ТЕНДЕНЦІЇ ВЖИВАННЯ ТЕРМІНУ «SUBSTITUTION INSTANCE»

0
100%
ЧАСТОТА
Не вживається
7
/100
На наведеній вище мапі представлено частоту використання терміну «substitution instance» у різних країнах.
Основні тенденції пошуку та приклади звичайного вживання substitution instance
Перелік основних пошуків, здійснених користувачами для доступу до нашого англійська онлайн-словника, та найбільш широко вживаних виразів із словом «substitution instance».

ЗМІНИ У ЧАСТОТІ ВЖИВАННЯ ТЕРМІНУ «SUBSTITUTION INSTANCE» ПРОТЯГОМ ПЕВНОГО ЧАСУ

На графіку представлено щорічні зміни у частоті вживання слова «substitution instance» протягом останніх 500 років. Його побудовано на аналізі того, як часто термін «substitution instance» траплявся у оцифрованих друкованих джерелах англійська у період між 1500 роком та сьогоденням.

Приклади вживання в англійська літературі, цитати та новини про substitution instance

ПРИКЛАДИ

10 АНГЛІЙСЬКА КНИЖКИ ПОВ'ЯЗАНІ ІЗ «SUBSTITUTION INSTANCE»

Дізнайтеся про вживання substitution instance з наступної бібліографічної підбірки. Книжки пов'язані зі словом substitution instance та короткі уривки з них для забезпечення контексту його використання в англійська літературі.
1
A Concise Introduction to Logic
Every substitution instance of a valid form is a valid argument, but it is not the case that every substitution instance of an invalid form is an invalid argument. The reason is that some substitution instances of invalid forms are also substitution ...
Patrick Hurley, 2014
2
Cengage Advantage Books: Understanding Arguments: An ...
Perhaps a bit more surprisingly, our definitions allow “Roses are red and roses are red” to be a substitution instance of “p & q.” This example makes sense if you compare it to variables in mathematics. Using only positive integers, how many ...
Walter Sinnott-Armstrong, Robert Fogelin, 2014
3
A Concise Introduction to Logic:
Bs Cs This diagram suggests that we can prove the form invalid if we can find a substitution instance having actually true premises and an actually false conclusion. In such a substitution instance the As and the Cs would be separated from ...
Patrick J. Hurley, 2011
4
Handbook of Modal Logic
We shall call φ[ψ/P(x)] a substitution-instance of φ. It might be instructive to consider an example of a substitution-instance: If φ is the formula ∀y(P(y) ∧ Q(y) ) and ψ is the formula R(z,x) where z is distinct from x and y, then φ[ψ/P(x)] is the  ...
Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006
5
Logic and Philosophy: A Modern Introduction
Here is the important rule to keep in mind regarding sentence forms: A sentence is a substitution instance of a form if and only if you can produce exactly that sentence by doing nothing other than replacing each variable in the form with a ...
Alan Hausman, Howard Kahane, Paul Tidman, 2012
6
Logic Identity and Consistency]
latter case as it is in the former. And if we drop this demand on 'y is a substitution instance of "<)>x"' as well as on 'y is true', we have to drop it on '§x too. To see the point clearly we can take first the substitutional version of 'For all x, <}>x', ...
7
Cengage Advantage Books: Understanding Arguments, Concise ...
Perhaps a bit more surprisingly, our definitions allow “Roses are red and roses are red” to be a substitution instance of “p & q.” This example makes sense if you compare it to variables in mathematics. Using only positive integers, how many ...
Walter Sinnott-Armstrong, Robert Fogelin, 2014
8
Mathematical Foundation of Computer Science
In (3), P is replaced Qand Qis replaced by P. In (4), P is replaced by Qand Qis replaced by P A —.Q. Example. Consider the following formulae from P —-> -1Q 1. Substitute P v Qfor P and R for Qto get the substitution instance (P v Q) —-) wR 2.
Dr. J. Rajendra Prasad, T. Rama Rao, A. Madana Mohana Rao, 2009
9
Introducing Symbolic Logic
The antecedent is false and the consequent true, so this substitution instance is true. All those three substitution instances are true. What would it take for there to be a substitution instance which is false? There would have to be an instantiating  ...
Robert M. Martin, 2004
10
Modal Logic
(ii) If every substitution instance of 4> is true in 971, then every substitution instance of<j> is true in 971'. (iii) 7/SW Ih A then W Ih A. Proof. Item (i) follows by induction on 4>. For the base case we have 971', w Ih p iff 971, w Ih 4>v,(p). As (-. 0)' ...
Patrick Blackburn, Maarten de Rijke, Yde Venema, 2002

ПОСИЛАННЯ
« EDUCALINGO. Substitution instance [онлайн]. Доступно <https://educalingo.com/uk/dic-en/substitution-instance>. Травень 2024 ».
Завантажити застосунок educalingo
en
англійська словник
Відкрийте все, що приховане в словах, скориставшись