-
1 modus ponens
Большой англо-русский и русско-английский словарь > modus ponens
-
2 modus ponens
Математика: модус поненс, правило отделения -
3 modus ponens
-
4 modus ponens
The New English-Russian Dictionary of Radio-electronics > modus ponens
-
5 modus ponens
лат. -
6 modus ponens
English-Russian dictionary of computer science > modus ponens
-
7 generalized modus ponens
обобщённый утверждающий модус ( условно-категорического силлогизма), композиционное правило умозаключенияEnglish-Russian electronics dictionary > generalized modus ponens
-
8 generalized modus ponens
обобщённый утверждающий модус ( условно-категорического силлогизма), композиционное правило умозаключенияThe New English-Russian Dictionary of Radio-electronics > generalized modus ponens
-
9 modus
вчтмодус, разновидность ( силлогизма)- modus ponens
- modus tollendo ponens
- modus tollens
- generalized modus ponens -
10 modus
вчт.модус, разновидность ( силлогизма)- modus ponendo tollens
- modus ponens
- modus tollendo ponens
- modus tollensThe New English-Russian Dictionary of Radio-electronics > modus
-
11 modus
модус; норма -
12 modus tollendo ponens
Большой англо-русский и русско-английский словарь > modus tollendo ponens
-
13 modus tollendo ponens
Математика: отрицающе-утверждающий модус, правило удаления дизъюнкции -
14 modus tollendo ponens
English-Russian electronics dictionary > modus tollendo ponens
-
15 modus tollendo ponens
The New English-Russian Dictionary of Radio-electronics > modus tollendo ponens
-
16 modus tollendo ponens
English-Russian scientific dictionary > modus tollendo ponens
-
17 DMP
1) Компьютерная техника: Declarative Meta Programming, Dot Matrix Printer2) Авиация: Display Management Processor3) Американизм: Data Management Plan4) Латинский язык: Deontic Modus Ponens5) Военный термин: Defense Manpower Policy, Director of Manpower Planning, Director of Military Personnel, disarmed military personnel6) Техника: Digital Music Products, dedicated microprocessor, dimethyl phthalate, dip moveout processing, display maintenance program, display masking parameters7) Бухгалтерия: Debt Management Plan8) Грубое выражение: Dirty Mo Posse9) Оптика: digital map processor, digital micromirror device10) Сокращение: Daily Maintenance Pack, Digital Media Player11) Вычислительная техника: desktop multimedia publishing, dynamic memory pool, динамический пул памяти12) Стоматология: dentine matrix protein13) Транспорт: Driver's Master Panel14) Фирменный знак: Dark Music Productions, Dutch Music Partners15) Сейсмология: эллиптическая развёртка отражений (dip moveout processing)16) Сетевые технологии: Dynamic Multipathing17) Полимеры: dimethyl phenol, dimethylol phenol18) Автоматика: document material processed19) Телефония: Device Management Protocol20) Расширение файла: Dump File21) Энергосистемы: Demand Management Program, ПУС22) Фантастика Demon Making Plant, Demon Manufacturing Plant -
18 MP
1) Общая лексика: многоцелевой, универсальный2) Компьютерная техника: Macro Parameter, Management Processor, Mini Profile, Multi Platform, Multi Processing, Multi Processor, Multiple Processor3) Морской термин: загрязнитель моря (Marine Pollutant( IMO cargo type classification))4) Медицина: макулярный пигмент, митогенный протеин, предварительное намагничивание (magnetization prepared)5) Американизм: Military Police6) Ботаника: Murmuring Pine7) Спорт: Magic Points, Mana Points, Might Play, Mile Point, Movement Penalty, Multi Player8) Латинский язык: Modus Ponens9) Военный термин: Machine Pistol, Manpack, Map Pack, Map Project, Marine police, Marshalling Points, Master Plan, Message Parser, Military Personnel, Mind Points, Minuteman platform, Mission Profile, Mobility Plus, Modular Powered, Movement Planner, Multi Purpose, main parachute, maintainability plan, maintenance package, maintenance panel, maintenance parts, maintenance period, maintenance plan, maintenance point, maintenance procedure, maintenance program, management package, marching pack, maritime patrol, master pilot, meeting point, military pay, military procurement, military property, mine planter, missile platform, missile positioning, mobilization plan, monitor panel, motion picture production, motor potential10) Техника: main propulsion, manpower, mean effective pressure, mean power, mean proportional, memorandum of partnership, mile-post, modulator, multiprocessor11) Шутливое выражение: Magic Packet, Mischievous Pease, Mr Piggy, Mystery Pog12) Химия: Metal Particle, Metal Particulate, Metal Poor13) Математика: математическое программирование (mathematical programming), мультипликативное свойство (multiplication property), наиболее мощный (критерий), проблема минимизации (minimization problem)14) Религия: Merry Part15) Железнодорожный термин: Union Pacific Railroad Company16) Юридический термин: Miscellaneous Proceeding, Missing Person, Moot Point, Mountain Patrol, Multi Profiling, Murder And Pillage, Mysterious Past, парламентарий (member of Parliament)17) Бухгалтерия: Money Pit18) Астрономия: Massive Protostar19) Биржевой термин: Market Place20) Ветеринария: Mud Puppies21) Грубое выражение: Manipulative Prostitute, Master Pervert, Motherfucking Perfect22) Дипломатический термин: член Европейского парламента23) Музыка: Mezzo Piano, Music Positive24) Политика: Mauritius25) Телекоммуникации: Mobile Processor, Multilink PPP26) Сокращение: Machine Pistole (Krimmi), compact sub machine gun (Germany; K), Manoeuvre Programmer, Manpower & Personnel (USAF), Marinha Portuguesa (Portugese Navy), Member of Parliament, Metal Particle (Tape), Metal-Piercing, Metropolitan Police, Military Police(man), Mission Planning, Mornarica Pjesadija (Croatian naval infantry), Moteur en Pylone (Pylon-mounted engine (France)), Multipole, Northern Mariana Islands, manufacturing and production, mass production, mounted police, multipurpose, Magnifying Power, Mandatory Protection, Manifold Pressure, Marginal Product, Membrane Potential, Memory Pointer, Minimal Protection, Monolithic Processor, Most Powerful27) Текстиль: Matched Pair28) Университет: My Problem29) Физика: Magnetic Particle, Medium Prismatic, Modal Particle, Multi Physics30) Физиология: Menstrual period, Metatarsal Phalanges, Mitochondria Points31) Электроника: Madhya Pradesh, Maximum Power, Multi Phonon, Multi Polarized32) Вычислительная техника: MultiProtocol, mathematical programming, microprocessor, (PPP) Multilink Protocol (MPPP, RFC 1990), MegaPIXEL (PIXEL, photo), Military Police (man), (контрольная) точка регулировки при профилактике33) Нефть: maximum pressure, давление на всасывании (manifold pressure), период технического обслуживания (maintenance period), порядок технического обслуживания (maintenance procedure), среднее давление (mean pressure)34) Картография: mooring post35) Банковское дело: почтовый перевод (mail payment), microprinting (средство предотвращения копирования чеков)36) Транспорт: Mopar Parts37) Пищевая промышленность: Medium Pizza, Melon Popper, More Pints38) Фирменный знак: Monolith Productions39) Экология: Monitoring Plan40) СМИ: Media Player, Motion Picture, Moving Picture, Multi Page, Multiple Part41) Деловая лексика: Main Product, Manual Pickup, Mass Produced, Means Of Production, Mechanical Perfection, Modes Of Production, Music Profits, член парламента (Великобритания, Member of Parliament)42) Глоссарий компании Сахалин Энерджи: mud pump, СД (medium pressure)43) Образование: Marking Period, module paper44) Инвестиции: mail payment45) Сетевые технологии: Message Passing, Modular Portal, Multi Point, Multi Protocol, multiprocessing, system multiprocessor system, мультипроцессорная обработка46) Полимеры: medium pressure, molded plate, molding pressure47) Программирование: Make Parameter, Multi Precision48) Автоматика: machine perception, machine power, measurement processor49) Контроль качества: Metrology Provision50) Океанография: Mini Plankton51) Безопасность: Message Protector52) Расширение файла: Multiple Processors, Movie (MPEG compressed), Massively Parallel (processing)53) Энергосистемы: market participant54) Нефть и газ: main pipeline, makeup pump, marshalling panel, TP, МН, магистральный нефтепровод55) Электротехника: main protection, metallized paper56) Майкрософт: пакет управления, management point57) Общественная организация: Mautner Project, Myelin Project58) Должность: Material For Promotion, More Pension59) Чат: Mom Pops60) НАСА: Massively Parallel, Minor Planet, Multifunction Panel61) Федеральное бюро расследований: Minneapolis Field Office62) Единицы измерений: Mega Pixels -
19 mp
1) Общая лексика: многоцелевой, универсальный2) Компьютерная техника: Macro Parameter, Management Processor, Mini Profile, Multi Platform, Multi Processing, Multi Processor, Multiple Processor3) Морской термин: загрязнитель моря (Marine Pollutant( IMO cargo type classification))4) Медицина: макулярный пигмент, митогенный протеин, предварительное намагничивание (magnetization prepared)5) Американизм: Military Police6) Ботаника: Murmuring Pine7) Спорт: Magic Points, Mana Points, Might Play, Mile Point, Movement Penalty, Multi Player8) Латинский язык: Modus Ponens9) Военный термин: Machine Pistol, Manpack, Map Pack, Map Project, Marine police, Marshalling Points, Master Plan, Message Parser, Military Personnel, Mind Points, Minuteman platform, Mission Profile, Mobility Plus, Modular Powered, Movement Planner, Multi Purpose, main parachute, maintainability plan, maintenance package, maintenance panel, maintenance parts, maintenance period, maintenance plan, maintenance point, maintenance procedure, maintenance program, management package, marching pack, maritime patrol, master pilot, meeting point, military pay, military procurement, military property, mine planter, missile platform, missile positioning, mobilization plan, monitor panel, motion picture production, motor potential10) Техника: main propulsion, manpower, mean effective pressure, mean power, mean proportional, memorandum of partnership, mile-post, modulator, multiprocessor11) Шутливое выражение: Magic Packet, Mischievous Pease, Mr Piggy, Mystery Pog12) Химия: Metal Particle, Metal Particulate, Metal Poor13) Математика: математическое программирование (mathematical programming), мультипликативное свойство (multiplication property), наиболее мощный (критерий), проблема минимизации (minimization problem)14) Религия: Merry Part15) Железнодорожный термин: Union Pacific Railroad Company16) Юридический термин: Miscellaneous Proceeding, Missing Person, Moot Point, Mountain Patrol, Multi Profiling, Murder And Pillage, Mysterious Past, парламентарий (member of Parliament)17) Бухгалтерия: Money Pit18) Астрономия: Massive Protostar19) Биржевой термин: Market Place20) Ветеринария: Mud Puppies21) Грубое выражение: Manipulative Prostitute, Master Pervert, Motherfucking Perfect22) Дипломатический термин: член Европейского парламента23) Музыка: Mezzo Piano, Music Positive24) Политика: Mauritius25) Телекоммуникации: Mobile Processor, Multilink PPP26) Сокращение: Machine Pistole (Krimmi), compact sub machine gun (Germany; K), Manoeuvre Programmer, Manpower & Personnel (USAF), Marinha Portuguesa (Portugese Navy), Member of Parliament, Metal Particle (Tape), Metal-Piercing, Metropolitan Police, Military Police(man), Mission Planning, Mornarica Pjesadija (Croatian naval infantry), Moteur en Pylone (Pylon-mounted engine (France)), Multipole, Northern Mariana Islands, manufacturing and production, mass production, mounted police, multipurpose, Magnifying Power, Mandatory Protection, Manifold Pressure, Marginal Product, Membrane Potential, Memory Pointer, Minimal Protection, Monolithic Processor, Most Powerful27) Текстиль: Matched Pair28) Университет: My Problem29) Физика: Magnetic Particle, Medium Prismatic, Modal Particle, Multi Physics30) Физиология: Menstrual period, Metatarsal Phalanges, Mitochondria Points31) Электроника: Madhya Pradesh, Maximum Power, Multi Phonon, Multi Polarized32) Вычислительная техника: MultiProtocol, mathematical programming, microprocessor, (PPP) Multilink Protocol (MPPP, RFC 1990), MegaPIXEL (PIXEL, photo), Military Police (man), (контрольная) точка регулировки при профилактике33) Нефть: maximum pressure, давление на всасывании (manifold pressure), период технического обслуживания (maintenance period), порядок технического обслуживания (maintenance procedure), среднее давление (mean pressure)34) Картография: mooring post35) Банковское дело: почтовый перевод (mail payment), microprinting (средство предотвращения копирования чеков)36) Транспорт: Mopar Parts37) Пищевая промышленность: Medium Pizza, Melon Popper, More Pints38) Фирменный знак: Monolith Productions39) Экология: Monitoring Plan40) СМИ: Media Player, Motion Picture, Moving Picture, Multi Page, Multiple Part41) Деловая лексика: Main Product, Manual Pickup, Mass Produced, Means Of Production, Mechanical Perfection, Modes Of Production, Music Profits, член парламента (Великобритания, Member of Parliament)42) Глоссарий компании Сахалин Энерджи: mud pump, СД (medium pressure)43) Образование: Marking Period, module paper44) Инвестиции: mail payment45) Сетевые технологии: Message Passing, Modular Portal, Multi Point, Multi Protocol, multiprocessing, system multiprocessor system, мультипроцессорная обработка46) Полимеры: medium pressure, molded plate, molding pressure47) Программирование: Make Parameter, Multi Precision48) Автоматика: machine perception, machine power, measurement processor49) Контроль качества: Metrology Provision50) Океанография: Mini Plankton51) Безопасность: Message Protector52) Расширение файла: Multiple Processors, Movie (MPEG compressed), Massively Parallel (processing)53) Энергосистемы: market participant54) Нефть и газ: main pipeline, makeup pump, marshalling panel, TP, МН, магистральный нефтепровод55) Электротехника: main protection, metallized paper56) Майкрософт: пакет управления, management point57) Общественная организация: Mautner Project, Myelin Project58) Должность: Material For Promotion, More Pension59) Чат: Mom Pops60) НАСА: Massively Parallel, Minor Planet, Multifunction Panel61) Федеральное бюро расследований: Minneapolis Field Office62) Единицы измерений: Mega Pixels -
20 отрицающе-утверждающий модус
Большой англо-русский и русско-английский словарь > отрицающе-утверждающий модус
- 1
- 2
См. также в других словарях:
Modus Ponens — Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l antécédent (« or, A ») pour en déduire le… … Wikipédia en Français
modus ponens — [mɔdyspɔnɛ̃s] n. m. ÉTYM. Loc. lat., littéralement « mode qui pose ». ❖ ♦ Log. Règle de déduction selon laquelle, si une proposition A implique une proposition B, on peut déduire, A étant vraie, que B l est également. (On dit aussi règle de… … Encyclopédie Universelle
Modus ponens — («правило вывода»): если A и A→B выводимые формулы, то B также выводима. Форма записи: , где A, B любые формулы. Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от… … Википедия
Modus Ponens — ♦ Modus Ponens Верное заключение, состоящее в переходе от истинности посылки к истинности ее необходимого следствия. Modus ponens принимает форму: если р, то q; однако р, следовательно, q (например: если Сократ человек, то он смертен; однако… … Философский словарь Спонвиля
Modus ponens — (Latín: modo que afirma) es una regla de inferencia simple: Si P, entonces Q. P. Entonces, Q. Expresado en la notación de operadores lógicos: donde representa la aserción lógica … Enciclopedia Universal
Modus ponens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus Ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den … Deutsch Wikipedia
Modus ponens — Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l antécédent (« or, A ») pour en déduire le… … Wikipédia en Français
Modus ponens — Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird. Der Modus ponens erlaubt es, aus zwei Aussagen der Form Wenn A, dann B und A (den … Deutsch Wikipedia
modus ponens — noun A valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent. Modus ponens has the form: 1. If P, then Q. See Also: modus tollens … Wiktionary
modus ponens and modus tollens — (Latin: method of affirming and method of denying ) In logic, two types of inference that can be drawn using a hypothetical proposition i. e., from a proposition of the form If p, then q (symbolically p ⊃ q). Modus ponens refers to inferences of… … Universalium