Module 5: Mathematical Logic Flashcards
Deals with scientific method of judging the truth or falsity of statements
Logic
Body of statements or mathematical sentences
Mathematics
Important in understanding mathematics as a logical system
Symbolic language
Basis of all mathematical reasoning
Logic
One of the first mathematicians to make serious study of symbolic language
Gottfried Wilhelm Leibniz
Tried to advance the study of logic from merely philosophical subject to a formal mathematical subject.
Gottfried Wilhelm Leibniz
Several mathematicians that contributed to the advancement of symbolic logic as a mathematical discipline.
Augustus de Morgan and George Boole
A declarative sentence that is either true or false, but not both true and false
Statement or Proposition
A statement that conveys a single idea.
Simple statement
A statement that conveys two or more ideas.
Compound statement
Denial of a statement is called?
Negation