There are three types of the mathematical logic

REPORT 1
Running head: REPORT
DISCRETE MATHEMATICS
Mathematical Logic

REPORT 2
Contents
Introduction.................................................................................................................... 3
Mathematical logic in Information technology –.......................................................................3
Application of mathematical logic in information technology –....................................................5
Conclusion..................................................................................................................... 6
References..................................................................................................................... 7

REPORT 3
Introduction
The logic is considered as the base of the mathematical reasoning along with automated
reasoning. It is stated by rule of logic there is specific meaning of the mathematical statement.
The rules of logic are helpful for the people to know reasons as well as attain data. The
mathematical logic is considered as sub-area of mathematic that discover application of
formal logics to arithmetic. There are three types of the mathematical logic. These types of
mathematical logic include model theory, set theory, and proof theory along with recursion
theory. The rule of logic gives exact definition along with purpose to mathematical statements.
The rules of logic is useful to make difference between improper as well as proper mathematical
reasoning. In addition to the significance of mathematical logic to know about mathematical
reasoning, it has certain applications in the information technology. It is differ from the design of
digital circuit to develop computer programming along with justification of accuracy of program.
The mathematical logic is helpful in sharing different outcomes on logic, mainly first order logic
along with definability. The report explains the relevance of mathematical logic in information
technology and application of mathematical logic in information technology is evaluated.
Mathematical logic in Information technology –
It is essential to know about the systematic mathematical logic (Dawkins and Cook, 2017). The
significance along with utilisation of mathematical logic in information technology can be
recognised by reviewing various articles.
1. Title : Introduction to Mathematical logic