Term
|
Definition
First proposition in an If.., then.., statement (a conditional statement), immediately following the "if." In the conditional statement "If P, then Q" P is the antecedent. |
|
|
Term
|
Definition
A statement that includes more than one logical connective |
|
|
Term
|
Definition
A statement that includes a logical connective and is embedded within a complex statement |
|
|
Term
|
Definition
A statement of the form "If P, then Q." A conditional does not assert that P actually is the case but rather states that if P is the case then Q must be also. |
|
|
Term
|
Definition
A statement of the form "P and Q." A conjunction connects two other statements such that it is true if and only if the connected statements are true. For example, "penguins are birds and dogs are mammals" |
|
|
Term
|
Definition
The second proposition in an "If .., then.. " conditional statement, immediately following the "then." In the conditional statement "if P, then Q," Q is the consequent. |
|
|
Term
|
Definition
A Statement of the form "P or Q." A disjunction connects two other statements such that it is true if and only if one or both of the connected statements are true. For example "either penguins can fly or sparrows can fly." |
|
|
Term
|
Definition
A word or symbol that relates one statement to another or to itself. Not, and, v, and > are all logical connectives. |
|
|
Term
|
Definition
The use of a chart to plot out all possible truth values of an argument's variables and statements in order to determine whether the argument is valid. If one or more row in the table show the conclusion as false and all the premises are true, the the argument is invalid. |
|
|
Term
|
Definition
A statement of the form "Not P." A negation is true if and only if the statement it negates is false. For example, "it is not the case the Vancouver is the largest city in the world." |
|
|
Term
|
Definition
A type of symbolic logic that deals with the relationship between propositions using basic logical connectives and, or, not, and if ..., then. |
|
|
Term
|
Definition
The truth or falsity of a statement. For example, the truth values of the statement "Ontario is a province in Canada" Is "true." |
|
|
Term
|
Definition
A capital letter used in propositional logic to to represent a proposition. |
|
|