• Title/Summary/Keyword: formal implication

Search Result 31, Processing Time 0.018 seconds

Didactical Issues Related to Necessary Condition and Sufficient Condition (필요조건, 충분조건 개념의 학습과 관련한 문제들)

  • Hong, Jin-Kon;Kong, Jung-Taek
    • Journal for History of Mathematics
    • /
    • v.28 no.4
    • /
    • pp.191-204
    • /
    • 2015
  • The reason of the confusion of learners about the logic concepts such as implication, necessary condition and sufficient condition can be analyzed from the point of view of history of logic, discrepancy between ordinary language and formal logic, and reification which occurs in the process of cognition of discursive object and also indicates the necessity of a research. This study analysed the difficulties related to study and implication concept and attempted to the reflection of textbook and curriculum. Not that ordinary language makes the introduction of formal language easier, but that this study discussed the possibilities ordinary language intervenes the learning of formal language. This study additionally intended to understand learning difficulties of concrete subjects, abstract subjects and the gap between primary object and discursive object by understanding the process of sagging, encapsulating and reifying.

Students' understandings of material implication (실제적 함의에 대한 학생들의 이해)

  • Park, Dal-Won
    • Journal of the Korean School Mathematics Society
    • /
    • v.17 no.4
    • /
    • pp.805-816
    • /
    • 2014
  • In this paper, we survey the development of material implication and we present an analysis of the students' understanding of formal implication. Most of high school students consider material implication $p{\rightarrow}q$ as ${\sim}p{\vee}q$ when they represent the pattern of a collected cards as material implication $p{\rightarrow}q$. But when they collect cards in which material implication $p{\rightarrow}q$ is true, Most of high school students consider $p{\rightarrow}q$ as $p{\wedge}q$.

  • PDF

Conditional Inferences in Students (조건추론에 대한 학생들의 이해)

  • Park, Dal-Won
    • Journal of the Korean School Mathematics Society
    • /
    • v.12 no.3
    • /
    • pp.307-317
    • /
    • 2009
  • Formally p$\rightarrow$q means that affirming p one implicitly affirms q and that denying q one implicitly denies p. Denying p or affirming q do not lead to certain conclusions. Middle school students can recognize practical implication p$\rightarrow$q is true whenever p is false, but they don't recognize theoretical implication p$\rightarrow$q is true whenever p is false. They have not assimilated intuitively the complete structure of implication. Thus they do not distinguish naturally between the uncertain conclusion which can be drawn by affirming p and the certain rejection of p which follows from the negation of q. Also they can not recognize the uncertain conclusion which can be drawn by negation of p. There is no significant difference between practical conditional statements, formal conditional statements and conditional Inferences in advanced mathematics students. But there is a significant difference between formal conditional inferences and specific conditional inferences with statement p$\rightarrow$q is true when p is false.

  • PDF

On Development of an Automatic Tool for Extracting Association Rules of a user query using Formal Concept Analysis (형식개념분석기법을 이용한 사용자 질의 기반의 연관관계 추출 자동화지원도구의 개발)

  • Kim, Eung-Hee;Hwang, Suk-Hyung;Kim, Hong-Gee
    • The KIPS Transactions:PartD
    • /
    • v.15D no.3
    • /
    • pp.429-440
    • /
    • 2008
  • Formal Concept Analysis (FCA) is a widely used methodology for data analysis, which extracts concepts and builds a concept hierarchy from given data. A concept consists of objects and attributes shared by those objects, and a concept hierarchy includes information on super-sub relations among the concepts. In this paper, we propose a method for extracting Implication and Association rules from a concept hierarchy given a query by a user. The method also describes a way for displaying the extracted rules. Based on this method, we implemented an automatic tool, QAG-Wizard. Because the QAG-Wizard not only elicits relation information for the given query, but also displays it in structured form intuitively, we expect that it can be used in the fields of data analysis, data mining and information retrieval for various purposes.

원뿔곡선 이론의 발달

  • 이종희
    • Journal for History of Mathematics
    • /
    • v.15 no.1
    • /
    • pp.69-82
    • /
    • 2002
  • The purpose of this study is to explore historical development of conic sections and analyze formal aspects, application aspects and intuitive aspects in conic sections. We suggest implication for learning-teaching conic sections.

  • PDF

Impact of Clinical Nurses' Power and Empowerment on Job Satisfaction and Organizational Commitment (임상간호사의 파워와 임파워먼트가 직무만족 및 조직몰입에 미치는 영향)

  • Park, Hyeon-Hui;Park, Kyung-Sook;Yom, Young-Hee;Kim, Kyung-Hee
    • Journal of Korean Academy of Nursing
    • /
    • v.36 no.2
    • /
    • pp.244-254
    • /
    • 2006
  • Purpose: This study was performed to analyze effects of the power and empowerment on job satisfaction and organizational commitment. This study was based on the Kanter's theory of organizational empowerment. Method: A predictive, non-experimental design was used to test the model in a sample of 688 nurses working in 7 university hospitals that have over 500 beds in Seoul, Kyunggi and Kangwon provinces. The data were collected from December, 2003 to January, 2004. It was analyzed with descriptive statistics and Pearson correlation of SPSS and with path analysis of LISREL. Result: The formal and informal power had direct effects on empowerment. Formal power also had direct effects on informal power. Empowerment had direct effects on job satisfaction and organizational commitment. Organizational commitment had direct effects on job satisfaction. There was positive effects in all of the variables. Conclusion: The positive changes show on personal behaviors and attitudes when the nurses who have formal and informal power are empowered. These findings would be important resource to nurse administrators for clinical implication.

Interpretation of Pre-service Teachers' Knowledge by Shulman-Fischbein Framework : For Students' Errors in Plane Figures (평면도형 영역에서 Shulman-Fischbein 개념틀을 활용한 학생의 오류에 대한 예비 교사의 지식 분석)

  • Kim, Ji Sun
    • Communications of Mathematical Education
    • /
    • v.32 no.3
    • /
    • pp.297-314
    • /
    • 2018
  • This article aims at providing implication for teacher preparation program through interpreting pre-service teachers' knowledge by using Shulman-Fischbein framework. Shulman-Fischbein framework combines two dimensions (SMK and PCK) from Shulman with three components of mathematical knowledge (algorithmic, formal, and intuitive) from Fischbein, which results in six cells about teachers' knowledge (mathematical algorithmic-, formal-, intuitive- SMK and mathematical algorithmic-, formal-, intuitive- PCK). To accomplish the purpose, five pre-service teachers participated in this research and they performed a series of tasks that were designed to investigate their SMK and PCK with regard to students' misconception in the area of geometry. The analysis revealed that pre-service teachers had fairly strong SMK in that they could solve the problems of tasks and suggest prerequisite knowledge to solve the problems. They tended to emphasize formal aspect of mathematics, especially logic, mathematical rigor, rather than algorithmic and intuitive knowledge. When they analyzed students' misconception, pre-service teachers did not deeply consider the levels of students' thinking in that they asked 4-6 grade students to show abstract and formal thinking. When they suggested instructional strategies to correct students' misconception, pre-service teachers provided superficial answers. In order to enhance their knowledge of students, these findings imply that pre-service teachers need to be provided with opportunity to investigate students' conception and misconception.

A Study on the Improvement of Environmental Education Policy for Activating Sustainable Development and Environmental Education in Seoul (서울시 지속가능발전과 환경교육 활성화를 위한 환경교육 정책 개선 방안)

  • Nam, Young-Sook;Ji, Seung-Hyun
    • Hwankyungkyoyuk
    • /
    • v.20 no.3
    • /
    • pp.125-133
    • /
    • 2007
  • The purpose of this study is to improve environmental education policy through analysing environmental education policy in Seoul. According to the results, it should be considered in suggesting improvement of Environmental Education policy in Seoul as follows. First, according to the analyses of paradigm of environmental education policy, it does not in part depend on implication of education for sustainable development. Second, according to the analyses of driving force on the environmental education policy, The state of integration between formal education and non formal education has not been mature yet. Third, according to the current state on the environmental education policy, it is urgent to strategic approach to activate school environmental education. Consequently, It is necessary to indicate a new paradigm shifts for review and revisions of policy and practice in support of sustainable regional development in Seoul. It is also desirable to provide new infra structure which included basic framework, guideline, practical programme so as to enhance environmental education. Thus it would be possible to contribute to activating education for sustainable development.

  • PDF