Transcription of Chapter 2.2 Conditional Statements - SLU Mathematics …
{{id}} {{{paragraph}}}
Example: confidence
Chapter 2.2 Conditional Statements - SLU Mathematics …
DISCRETE MATH: LECTURE 3DR. DANIEL Conditional Statements Ifpandqare statement variables, theconditionalofqbypis Ifpthenq or pimpliesq and is denotedp q. It is false whenpis true andqis false; otherwiseit is true. We callpthehypothesis(orantecedent) of the Conditional andqtheconclusion(orconsequent).pqp qTTTFFTFF A Conditional statement that is true by virtue of the fact that its hypothesis is falseis calledvacuously trueortrue by default. In general, when the if part ofan if-then statement is false, the statement as a whole is said to be true, regardlessof whether the conclusion is true or example:If 0 = 1, then 1 = 2.
2.2. Additional Valid Argument Forms: Rules of Inference. A rule of inference is a form of argument that is valid. Modus ponens and modus tollens are both rules of inference. Here are some more... Generalization p Elimination p_q) p_q ˘q Specialization p^q ) p) p Transitivity p !q Proof by Division into Cases p_q q !r p !q ) p !r q !r ...
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: