Definitions Chapter 5 Flashcards
Statement
A sentence that is either true or false, but not both
Reasoning
Is the step-by-step process that begins with a known fact or assumption and builds to a conclusion in an orderly, concise way. This is also called logical thinking
Conjunction
A statement in which two statement in which two statements, p and q is denoted p^q
Disjunction
Is a statement in which two statements, p and q are connected by or. The notation for the disjunction p or w is denoted pVq
Conditional statement
A statement of the form “if p, then q,” where p and q are statements. The notation for this conditional statement is p—>q
Biconditional statement
A statement of the form “p if and only if q” ( symbolized by pq), which means p—> q and q—> p.
Converse
The converse of a conditional statement is obtained by switching the hypothesis and conclusion. The converse of p—>q is q—>q
Inverse
The inverse of a conditional statement is obtained by negating both hypothesis and conclusion. The inverse of p—>q is ~p—>~q
Contrapositive
The contrapositive of a conditional statement is obtained by switching and negating the hypothesis and conclusion. The contrapositive of
p—>q is ~q—>~p
Proof
A system of reasoning or argument to convince a person of the truth of a statement
Inductive reasoning
An argument to establish that a statement is probably true
Deductive reasoning
An argument to establish that a statement is absolutely certain
An argument is valid if…..
The reasoning proceeds logically from the premises to the conclusion
An argument is sound if…..
It is valid and the premises are true
Modus ponens
P->q
P
Q