Term
|
Definition
| a statement consisting of two phrases. The first is called the hypothesis, often beginning with the word if, when, or some equivalent word. The second is called the conclusion, and usualy begins with the word tehn. The purpose of writing statements in thiss form is to allow us to analyze them in an orderly fashion and establish certain truths. if some specified condidtion is met. A conditional statement can also be represented sybolicaly by p arrow q |
|
|
Term
|
Definition
| a logical argument consisting of three statements, two of which are accepted as bein true, and a third which is to be drawn from teh acceptance of those two. Particularly the first statement is called the major premist and is a general statement, detailing the conditions to be satisfied. and the resulting conclusion. The second statement is called the minor premise and is a specific statement which satisfies the conditions of the major premise. Finally the third statement is called the conclusion of the syllogism, and is condidered to be the satisfactory end of the argument. Fro epample let the ocnditional p arrow q be the major premise and let p be the minor premise. considering both of these statemetns to be true we can conclude q as a valid conclusion. This tpe of logical argument is fcoundational to the study fo logic, and is also known by other names, including the law of detachement, confirning the hypothesis, and the Latin phrase, modus ponens meaning method fof consideration |
|
|
Term
|
Definition
| an application of syllogistic reasoning involving two relatied conditionals which if condisdered together using the law fo detachment iwll result in a third vaild conditional. For example let the two condigionals be p arrow q and q arow r it seems reasonable to conclude that p arrow r . Also called chain rule, law of transitivityh |
|
|
Term
|
Definition
| a conditional which resluts from interchanging the hypothesis and conclusion in a given conditional |
|
|
Term
|
Definition
| a compound statement consisting of a given conditional and its converse both of which are condidered to be true |
|
|
