Open AccessDiscussion on Propositional Logic Incorporating Set Thought into Discrete Mathematics
Author(s) -
Yue Liu
Publication year - 2020
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1634/1/012087
Subject(s) - propositional calculus , well formed formula , zeroth order logic , set (abstract data type) , intermediate logic , mathematics , classical logic , computational logic , mathematical logic , generalization , computer science , propositional variable , discrete mathematics , theoretical computer science , algorithm , description logic , programming language , multimodal logic , mathematical analysis
Discrete mathematics is a basic core course for computer and big data majors. It includes four parts: mathematical logic, set theory, algebraic structure, graph theory. They are relatively independent branches respectively, of which propositional logic is the first part of discrete mathematics teaching materials in mathematical logic. This chapter is difficult for students in the second half of this chapter because the basic concepts are not easy to understand thoroughly. In order to solve this problem, this paper integrates the set theory into the understanding and mastery of the connectives, truth tables and important equivalent formulas in propositional logic, thus breaking through the learning difficulties in this chapter of propositional logic, enabling students to find a sense of achievement in learning from the first chapter of discrete mathematics and stimulating students’ interest in learning this course. Discrete mathematics is a mathematical discipline that studies the structure of discrete quantities and their interrelationships. It is an important branch of modern mathematics, as well as a basic core course for computer major and big data major. Its theory is strong [2]. Learning this course can cultivate students’ logical reasoning ability, abstract thinking ability and meticulous generalization ability, and lay a foundation for other professional courses. Discrete mathematics includes four learning parts: mathematical logic, set theory, algebraic structure and graph theory. Among them, mathematical logic mainly studies the reasoning and formalization methods of discrete objects. Propositional logic is the first chapter in mathematical logic, and is also the first part of most discrete mathematics textbooks. This chapter is characterized by many concepts, abstraction, rigorous logic and many proof, which makes it difficult for students to learn [3]. Based on many years of teaching experience, this paper summarizes the root of the students’ key difficulties in learning this chapter, integrates the collective thought to teach students to compare and understand, and then solves all the learning difficulties in this chapter.