click below
click below
Normal Size Small Size show me how
Logic Exam 1
Midterm Exam for Intro to Logic - PHIL 240 TAMU
| Question | Answer |
|---|---|
| Conjunction | Symbol: ∧ This means AND. Only true if both propositions are true. |
| Disjunction | Symbol: ∨ This means OR. Only false if both propositions are false. |
| Conditional | Symbol: ⟶ This means THEN. If the first one is true and the second false, then it's false. Otherwise, it's true. |
| Biconditional | Symbol: ⟺ This means IF AND ONLY IF. If they're both the same, it's true. If the propositions are different, they're false. |
| Negation | Symbol: ⅂ This means NOT. So, if the negation is there, a T becomes a F and a F becomes a T. |
| WFF | Well formed- formula |
| WFF variables | Greek letters that stand for any well formed-formula. Ex. alpha, beta, and gamma. |
| What's not a WFF? | English sentences and arguments such as (P⟶⟶Q). (Isn't grammatical). |
| How to set up a truth table: Part 1 | Step one: Determine the rows (based on how many variables) Step two: Write out the basic variables on the left. Starting closest to the middle, write T or false alternating every time. (T, F, T, F) then double it (T, T, F, F) so one and so forth. |
| How to step up a truth table: Part 2 | Write out your propositions to the right of your variables. Assign true values based on the rules of conjunctions, disjunctions, conditionals, biconditionals, and negations. |
| What am I looking for when I complete setting up my true table? | Valid or not? (does the table include a row where the propositions are true and the conclusion false)? Tautology (if it's true in every row of its truth table) Contradiction (false in every row of its truth table)? Satisfiable? (True in at least 1 row). |
| Two propositions are equivalent if? | They have the same truth value in every row. |
| Two propositions are contradictory if? | They have opposite truth values in every row. |
| Two kinds of tree rules | Branching and stacking |