MITMW Flashcards
Study of valid reasoning
Mathematical logic
Deals with the methods of reasoning: provides rules and techniques to determine whether an argument is valid
Mathematical logic
a (complete) declarative sentence that has a truth value which is either true (denoted by T) or false (denoted by F) ( but not both)
Proposition (statement)
A proposition obtained by taking a negation of a given proposition
Negation of a proposition
The negation connectives uses the symbols
~
A series of statements made in support of an assertion together with the assertion drawn from these supporting statements
Argument (Mathematical reasoning)
Parts of an argument
Premises & conclusion
Supporting statements
Premises
Assertion drawn from these premises
Conclusion
Types of argument (mathematical reasoning)
Deductive reasoning & Inductive reasoning
Main differences of deductive and inductive reasoning
Strength and structure
Moving from general premises to specific conclusion
Deductive reasoning
Making a general conclusion based on specific premises
Inductive reasoning
All dogs are animals
So my dog is an animal
Deductive reasoning
All men are mortal
I am a man.
Therefore, I am mortal
Deductive reasoning