simplification

• 単純化

関

simplify

　 　 　

WordNet

1. elimination of superfluous details
2. an explanation that omits superfluous details and reduces complexity
3. make simpler or easier or reduce in complexity or extent; "We had to simplify the instructions"; "this move will simplify our lives"
4. an act of excessive simplification; the act of making something seem simpler than it really is (同)simplism
5. a simplification that goes too far (to the point of misrepresentation) (同)simplism

PrepTutorEJDIC

1. 単純化,簡易化,単一化
2. …‘を'簡単にする,平易にする,単純にする

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/02/19 14:41:52」(JST)

wiki en

[Wiki en表示]

Transformation rules
Propositional calculus
Rules of inference
Modus ponens / Modus tollens Biconditional introduction / elimination Conjunction introduction / Simplification Disjunction introduction / elimination Disjunctive / Hypothetical syllogism Constructive / Destructive dilemma Absorption Modus ponendo tollens
Rules of replacement
Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material implication Material equivalence Exportation Tautology Negation introduction
Predicate logic
Universal generalization / instantiation Existential generalization / instantiation

For simplification of fractions, see Equivalent fractions. For other uses, see Simplification (disambiguation).

In propositional logic, simplification (equivalent to conjunction elimination and also called and elimination) is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true. The rule makes it possible to shorten longer proofs by deriving one of the conjuncts of a conjunction on a line by itself.

An example in English:

It's raining and it's pouring.

Therefore it's raining.

The rule can be expressed in formal language as:

or as

where the rule is that whenever instances of "" appear on lines of a proof, either "" or "" can be placed on a subsequent line by itself.

Formal notation

The simplification rule may be written in sequent notation:

or as

where is a metalogical symbol meaning that is a syntactic consequence of and is also a syntactic consequence of in logical system;

and expressed as a truth-functional tautology or theorem of propositional logic:

and

where and are propositions expressed in some formal system.

References

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

• 1. Classification of diffuse lung disease (interstitial lung disease) in infants and children
• 2. 遺伝学およびゲノミクスのためのツール：モデルシステム tools for genetics and genomics model systems
• 3. Physical therapy and other rehabilitation issues in the palliative care setting
• 4. 低酸素血症の酸素供給およびメカニズム oxygenation and mechanisms of hypoxemia
• 5. 癌疼痛の評価 assessment of cancer pain

English Journal

• The Psychometric Properties and the Development of the Indicators of Quality Nursing Work Environments in Taiwan.

• Lin CF1, Lu MS, Huang HY.
• The journal of nursing research : JNR.J Nurs Res.2016 Dec 14. [Epub ahead of print]
• BACKGROUND: The nursing shortage in medical institutions in Taiwan averaged 9% in 2012, considerably higher than the 5% indicated in the literature. As a result, many hospitals have been forced to close wards or reduce beds. Despite the acute need, the percentage of registered nurses who are employe
• PMID 26670132

• The role of placental alpha microglobulin-1 amnisure in determining the status of the fetal membranes; its association with preterm birth. Traditions … traditions ….

• Mariona FG1,2, Roura LC3.
• The journal of maternal-fetal & neonatal medicine : the official journal of the European Association of Perinatal Medicine, the Federation of Asia and Oceania Perinatal Societies, the International Society of Perinatal Obstetricians.J Matern Fetal Neonatal Med.2016 Mar;29(6):1016-20. doi: 10.3109/14767058.2015.1031742. Epub 2015 Sep 25.
• The integrity of the fetal amnion-chorion is an imperative for the preservation of a normal pregnancy in the human. The diagnosis of the status of the fetal membranes has traditionally been reduced to either intact or ruptured. In the last decades, evidence has accumulated demonstrating that this cl
• PMID 25845275

• Alternative determination of blood alcohol concentration by (1)H NMR spectroscopy.

• Zailer E1, Diehl BW2.
• Journal of pharmaceutical and biomedical analysis.J Pharm Biomed Anal.2016 Feb 5;119:59-64. doi: 10.1016/j.jpba.2015.11.030. Epub 2015 Nov 28.
• A rapid, accurate and specific proton nuclear magnetic resonance ((1)H NMR) spectroscopic method is developed to determine ethanol in blood, known as the blood alcohol concentration (BAC). The limits of detection and quantification are 0.02g/L and 0.07g/L, respectively. The (1)H NMR spectra show lin
• PMID 26641708

• Comparing the costs of three prostate cancer follow-up strategies: a cost minimisation analysis.

• Pearce AM1, Ryan F2, Drummond FJ3, Thomas AA4, Timmons A3, Sharp L3.
• Supportive care in cancer : official journal of the Multinational Association of Supportive Care in Cancer.Support Care Cancer.2016 Feb;24(2):879-86. doi: 10.1007/s00520-015-2857-8. Epub 2015 Aug 6.
• PURPOSE: Prostate cancer follow-up is traditionally provided by clinicians in a hospital setting. Growing numbers of prostate cancer survivors mean that this model of care may not be economically sustainable, and a number of alternative approaches have been suggested. The aim of this study was to de
• PMID 26245495

Japanese Journal

• 中国農村における郷鎮政府・村民委員会組織の再編

• 大島 一二
• 桃山学院大学経済経営論集 57(1), 1-18, 2015-07-24
• … At present, reorganization is occurring rapidly in Chinese rural districts.Along with economical development in rural districts, most structural reorganization of township governments and villagers' committees involve simplification and reduction of staff. …
• NAID 110009921766

• Shifts in natural enemy assemblages resulting from landscape simplification account for biocontrol loss in wheat fields

• Zhao Zi-Hua,Sandhu Hardev S.,Gao Feng [他]
• Ecological research 30(3), 493-498, 2015-05
• NAID 40020473802

• The Establishment of the National Language in Twentieth-Century Cambodia: Debates on Orthography and Coinage

• 笹川 秀夫
• Southeast Asian Studies 4(1), 43-72, 2015-04-29
• … Thereafter advocates of Khmerization, who no longer learned the Thai language, aimed at the "purification" and "simplification" of the Khmer language. …
• NAID 110009893266

• <Articles>The Establishment of the National Language in Twentieth-Century Cambodia: Debates on Orthography and Coinage

• Sasagawa Hideo
• Southeast Asian Studies 4(1), 43-72, 2015-04
• … Thereafter advocates of Khmerization, who no longer learned the Thai language, aimed at the "purification" and "simplification" of the Khmer language. …
• NAID 120005602665

Related Links

• simplificationの意味・用例｜英辞郎 on the WEB：アルク

simplification 【名】単純化 【動】simplify - アルクがお届けする進化するオンライン英和・和英辞書データベース。一般的な単語や連語から、イディオム、専門用語、スラングまで幅広く収録。

• Sketch Simplification・ラフスケッチの自動線画化

Neural Network-based Sketch Simplification 全層畳込みニューラルネットワークによるラフスケッチの自動線画化 Edgar Simo-Serra シモセラ エドガー *, Satoshi Iizuka 飯塚里志 *, Kazuma Sasaki 佐々木一真, Hiroshi Ishikawa 石川博 (* ...

• Simplification - definition of simplification by The Free Dictionary

It was not only the bold simplification of the drawing which showed so rich and so singular a personality; it was not only the painting, though the flesh was painted with a passionate sensuality which had in it something miraculous; it ...

Related Pictures

---

★リンクテーブル★

リンク元	「simplify」「単純化」
拡張検索	「oversimplification」

「simplify」

　　[★]

• 単純化する

関

simplification

　 　

「単純化」

　　[★]

英

simplification、simplify

「oversimplification」

　　[★]

• 過度の単純化