Logic Homework 1
Logic Homework 1
1. Thinking logically helps you reason correctly and helps with decision making .
2. Your reasoning can improve making you better at logic and intuition
3. Theoretically, you will learn to ask why some inferences are correct and some incorrect.
You will have a greater understanding of why the workings of modern logic are accepted
by logicians.
4. Logic is about written or verbal arguments as opposed to the reasoning processes in your
head.
5. A valid deductive means that the truth of the premises absolutely guarantees the truth of
the conclusion.
6. A deductive argument is either or while an inductive argument is not clear cut.
7. All green things are plastic/ All trees are plastic. If Clinton was president, Gore was Vice
President in 1999. / Clinton was president in 1999.
8. The form of an argument determines its validity. Logical form is the blueprint.
9. Yes, other combinations are A’s are Cs. Bs are Cs.
10. If coal is black, then snow is white/ Snow is White/ Coal is Black./ Snow is White.
11. Some advantages of symbols are being able to use them to deal with more complicated
arguments and assist in mathematical understanding.
12. Things are bound to be lost in translation with the use of symbols, however since English
is such a diverse language and there are only five symbols in logic.
13. sentential/propositional logic: exclusively analyzes how complete sentences are compounded
with others by means of logical words such as and or and not
one variable predicate logic: uses symbols to represent the various parts of a sentence
relational predicate logic: adds relational predicates of the already existing machinery of one
variable predicate logic relational predicate logic: adds the
logical relation of identity
14. What is the formal structure? What is the logical grammar? What are the symbols and how do
they fit into meaningful formulas? What is the application
of the system? Includes being able to put the english sentences into symbolic form.
What are its semantics? Here we explain exactly what words like and not and all mean. These
meanings are given by stating [precisely the conditions under which sentences containing them
will be true or false. What are its proof methods? Here we set
out specific rules for proving certain symbolic formulas from others