• 제목/요약/키워드: proof by contradiction

검색결과 6건 처리시간 0.021초

교과서의 귀류법 도입과 활용에 대한 고찰 및 개선 방안 (A Study on Improvement of Introductions and Applications of 'Proof by Contradiction' in Textbooks)

  • 이기돈;홍갑주
    • 대한수학교육학회지:학교수학
    • /
    • 제18권4호
    • /
    • pp.839-856
    • /
    • 2016
  • 2009 개정과 2015 개정 수학과 교육과정에서는 학생들의 인지발달 수준을 고려해 '증명'을 중학교에서 고등학교로 옮기는 한편, 7차와 2007 개정 교육과정에서 공식적으로는 도입되지 않았던 '귀류법'을 고등학교 1학년 과목의 '학습내용 성취 기준'에 명시하였다. 귀류법은 어떤 명제가 참임을 보이기 위해 오히려 그 명제를 부정하는 귀류법 가정의 독특함으로 인해 인지적 갈등을 유발하는 것으로 알려져 있다. 이 논문에서는 귀류법에 대한 논리수학적 및 역사적 분석을 바탕으로 새로이 도입된 현 교과서의 귀류법 도입 및 활용에 대해 살펴보고 발견, 설명, 융합 등의 관점에서 개선 방안을 모색하였다. 발견의 과정을 먼저 서술한 후 귀류법적 사고를 도입하고, 귀류법 가정이 직접적으로 필요하지 않은 부분을 분리시켜 설명하되 유기적으로 서술하며, 대우를 이용한 증명법과의 관계를 밝혀 상호 보완적으로 다루고, 융합교육적 관점을 도입할 것 등을 제안하였다.

TRIZ 인과관계 모순트리와 통합원리를 이용한 물리적 모순의 창의적 해결방안의 고찰 및 적용방안 (Review and Application of Creative Problem-Solving Processes for Technical and Physical Contradictions Using Cause-And-Effect Contradiction Tree and Integrated Principles of TRIZ)

  • 최성운
    • 대한안전경영과학회지
    • /
    • 제17권2호
    • /
    • pp.215-228
    • /
    • 2015
  • A creative innovation and an innovative problem-solving of industrial companies can be achieved by overcoming the challenges of technical and physical contradictions. The approaches to address conflicting and paradoxical problems, such as technical and physical contradictions have a crucial role in advancing the quality assessment for manufacturer and service provider. The term, technical contradiction, depicts the state that improvement of one ends of IFR (Ideal Final Result) leads to unfavorable condition of the other ends, and results in conflicting problem. Another type of contradictions that's discussed in this study is a physical contradiction which is due to two mutually opposing states of the means of ends, and gives paradoxical situation. By integrating the means-ends chain perspectives, the physical contradiction that is a specifically root-causes, "means", can be initially addressed to resolve the downstream problem of technical contradiction which represents a general and abstract goals, "ends". This research suggests IFR resolution processes to handle both physical contradiction of means and technical contradiction of ends by employing causal relationship with IFR, effects and causes. In summary, the study represents three major processes that resolve such contradictions are demonstrated as follows: 1) Derivation of causal and hierarchical relationship among IFR, ends and means by considering CAED (Cause-And-Effect Diagram) and LT (Logic Tree). 2) Identification of causal relationship between physical contradiction and technical contradiction by using TPCT (TRIZ Physical Contradiction Tree) and TCD (Technical Contradiction Diagram). 3) Application of integrated TRIZ principles by classifying 40 inventive principles into 4 general conditions of the separation principle of mutually opposite states in space, in time, based on conditions, and between the parts and the whole. In order to validate the proof of proposed IFR resolution processes, the analysis of the TRIZ case studies from National Quality Circle Contest in the years, 2011 to 2014 have been proposed. The suggested guidelines that are built based on TRIZ principles can uniquely enhance the process of quality innovation and assessment for quality practitioners.

수학적 귀납법을 이용한 정삼투 및 압력지연삼투 공정의 투과율 불균형 해석 (Intrinsic Flux Inequality in Forward Osmosis (FO) and Pressure-Retarded Osmosis (PRO) Processes)

  • ;이승원
    • 멤브레인
    • /
    • 제25권4호
    • /
    • pp.367-372
    • /
    • 2015
  • 정삼투와 압력지연삼투 공정에서 용매의 투과율은 용매와 막이 접촉하는 방식에 의존한다. 각각의 공정에서 막의 활성층이 고농도 용매와 접촉하는 경우를 압력지연삼투 방식이라 하고, 고농도 용매가 막의 다공성 지지하층과 직면해 있는 경우를 정삼투 방식이라고 한다. 압력지연삼투 방식과 정삼투 방식은 각각 희석형 그리고 농축형의 내부농도 분극 현상을 유발하는데, 동일한 조작 조건에서 정삼투 방식보다 압력지연삼투 방식이 높은 투과율을 나타내는 현상이 실험적으로 관측되었다. 본고에서는 정삼투방식과 압력지연삼투 방식에서 발생하는 본질적인 투과율 불균형을 수학적 귀류법을 이용하여 증명하고, 물리적인 원인을 규명한다.

괴델의 불완전성 정리가 양진주의의 근거가 될 수 있는가? (Can Gödel's Incompleteness Theorem be a Ground for Dialetheism?)

  • 최승락
    • 논리연구
    • /
    • 제20권2호
    • /
    • pp.241-271
    • /
    • 2017
  • 양진주의는 참인 모순이 존재한다는 입장이다. 필자는 이 글에서 괴델 정리가 양진주의의 근거라는 프리스트의 논변이 설득력이 없음을 논할 것이다. 이는 괴델 증명이 우리에게 주는 교훈은 임의의 충분히 강한 산수에 관한 이론이 완전하면서 일관적일 수 없다는 것이기 때문이다. 다음으로 필자는 프리스트의 비일관적이고 완전한 산수에서 모순이 도출될 수 있음을 설명할 것이다. 그리고 괴델 문장이 비일관적이고 완전한 산수이론에 적용되어 양진주의에 관한 대안논변을 제시할 수 있음을 소개하고 이 경우에는 순환성의 문제가 있음을 논할 것이다. 요약해서, 필자는 괴델 정리 및 그와 관련된 정리는 완전한 이론들과 일관적인 이론들 간의 관계를 보여줄 뿐임을 주장할 것이다. 괴델 문장의 적용을 통해 도출된 모순이 중간값과 같은 참인 문장의 값을 지닐 수 있는 것 역시 산수에 관한 비일관 모형에서일 뿐이다. 비일관성이나 완전성에 관한 가정을 하지 않는다면, 괴델 문장의 적용이 참인 모순을 이끌어 낼 수 없으며 그렇기에 괴델 정리 및 그와 관련된 정리는 양진주의의 근거가 될 수 없다.

  • PDF

식스시그마 프로젝트에서 연구가설과 통계가설에 의한 통계적 유의성 및 실무적 유의성의 적용방안 (Implementation of Statistical Significance and Practical Significance Using Research Hypothesis and Statistical Hypothesis in the Six Sigma Projects)

  • 최성운
    • 대한안전경영과학회지
    • /
    • 제15권1호
    • /
    • pp.283-292
    • /
    • 2013
  • This paper aims to propose a new steps of hypothesis testing using analysis process and improvement process in the six sigma DMAIC. The six sigma implementation models proposed in this paper consist of six steps. The first step is to establish a research hypothesis by specification directionality and FBP(Falsibility By Popper). The second step is to translate the research hypothesis such as RHAT(Research Hypothesis Absent Type) and RHPT(Research Hypothesis Present Type) into statistical hypothesis such as $H_0$(Null Hypothesis) and $H_1$(Alternative Hypothesis). The third step is to implement statistical hypothesis testing by PBC(Proof By Contradiction) and proper sample size. The fourth step is to interpret the result of statistical hypothesis test. The fifth step is to establish the best conditions of product and process conditions by experimental optimization and interval estimation. The sixth step is to draw a conclusion by considering practical significance and statistical significance. Important for both quality practitioners and academicians, case analysis on six sigma projects with implementation guidelines are provided.

지도설명의무 - 판례 경향을 중심으로 - (The Instruction Explanation Obligation - Focusing on Cases -)

  • 이정선
    • 의료법학
    • /
    • 제14권2호
    • /
    • pp.143-172
    • /
    • 2013
  • In order to achieve the purpose of treatment for patients by a doctor, the instruction explanation obligation, which means that he should give patients the description in more details to prepare for postoperative sequelae or complications, is common with the advice explanation obligation as a doctor should ex-plain some information to patients. Since the advice explanation obligation is the benefit and protection of the law for self determination right, but the instruction explanation obligation is one for the integrity of body and life, one can be distinct from the other. Judgments giving the instruction on the concept of instruction explanation obligation, specific methods of implementation and a range of compensation for damage are recently being made by courts at all levels including the Supreme Court. It is the time to systematize them. The contents which have been mainly discussed so far include the essence of above mentioned instruction explanation obligation. However, when the tendency of practice is considered, the efforts are required to admit the organic relevance between instruction explanation obligation and advice explanation obligation and to explain the relationship without any contradiction. For whereabouts of li-ability of proof, patients theoretically demonstrate the failure to implement it. However, when the theoretical consistency is maintained, it is likely to fail the intent to recognize the instruction explanation obligation and it may ask patients to prove something impossible to be proven. Thus, these things should be considered. Moreover, as the instruction explanation obligation is associated with medicine instruction obligation of a pharmacist and the coverage is being extended, it is the time to require the systematic study on the theoretical limit.

  • PDF