click below
click below
Normal Size Small Size show me how
2 Be Logical
INTERMEDIATE Logic part 1
| Question | Answer |
|---|---|
| propositional logic | a branch of formal, deductive logic in which the basic unit of thought is the proposition |
| proposition | a statement, a sentence that has a TRUTH VALUE |
| truth-functional | when a proposition's truth value DEPENDS upon the truth of its component PARTS |
| simple proposition | a proposition w/ ONLY 1 component part |
| compound proposition | a proposition w/ MORE THAN 1 component parts |
| logical operators | words that combine or modify simple propositions to make compound propositions |
| propositional constant | an UPPERcase letter that represents a SINGLE, GIVEN proposition |
| propositional variable | a LOWERcase letter that represents any proposition |
| negation | the logical operator that DENIES or contradicts a proposition |
| truth table | a listing of the POSSIBLE truth values for a SET of one or more propositions |
| defining truth table | displays the truth values produced by a logical operator modifying a minimum number of variables |
| conjunction | a logical operator that joins two propositions & is true if & ONLY IF both the propositions are true |
| disjunction | a logical operator that joins two propositions and is true if and only if one or both of the propositions is true |
| conditional operator | asserts that one component implies the other; is false if and only if the antecedent is true and the consequent is false |
| biconditional operator | is TRUE when both component propositions have the SAME truth value, and is FALSE when their truth values DIFFER |
| logically equivalent | if and only if two propositions have IDENTICAL truth values in a truth table |
| tautology | a proposition that is ALWAYS TRUE due to its logical structure |
| self-contradiction | a proposition that is FALSE by logical structure |
| valid argument | if the premises are true, the conclusion must also be true |
| invalid argument | if the premises can be true and the conclusion false |
| Conjunction is True | when p & q are True. |
| Disjunction is False | when p & q are False. |
| Conditional is False | when p is True and q is False. |
| Bi-conditional is True | when p & q match. |