PHL 214 Chapter Notes - Chapter 7: Modus Ponens, Modus Tollens, Syllogism
Document Summary
Propositional logic: the branch of deductive reasoning that deals with logical relationships among statements. It helps us assess the validity of an argument without being distracted by non-formal elements. Symbolic logic: modern deductive logic that uses symbolic language to do its work. Alice road her bike, and john walked. p v q. Either alice rode her bike, or john walked . It is not the case that alice rode her bike p q. If alice rode her bike, then john walked . Remember: a statement (or claim) is an assertion that something is or is not the case. If the answer is yes, then the argument is invalid. If there is no such circumstances, the argument is valid. Last night i had a coke, and i also had an order of poutine. Inclusive: meaning one or the other, or both" --- p or q or both. Exclusive: meaning either but not both" --- p or q but not both.