Sweet Reason: A Field Guide to Modern LogicJohn Wiley & Sons, 7. 10. 2011. - 400 страница Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics.
|
Из књиге
Резултати 1-5 од 67
Страница 13
... true. We'll use A v B to mean that at least one ofA, B is true (A is true or B is true or both are true). We'll use ... truth value. Let's say we have these statements: P: George is late to the meeting. Q: The. meeting. is. in. Detroit. R ...
... true. We'll use A v B to mean that at least one ofA, B is true (A is true or B is true or both are true). We'll use ... truth value. Let's say we have these statements: P: George is late to the meeting. Q: The. meeting. is. in. Detroit. R ...
Страница 19
... true nor false. Maybe it has no truth-value at all, or some third, weird truth-value, like "deviant." Then, one might say, there is no paradox. The sentence is just deviant. But consider the Strengthened Liar paradox: This sentence is ...
... true nor false. Maybe it has no truth-value at all, or some third, weird truth-value, like "deviant." Then, one might say, there is no paradox. The sentence is just deviant. But consider the Strengthened Liar paradox: This sentence is ...
Страница 20
... truth value, help? No. Suppose that it has no truth value, or that it's deviant. Then it's not true, right? But that's what it says! So it is true! But it says that it's not! So it is! So it isn't! Back to square one. 1.4. Introducing.
... truth value, help? No. Suppose that it has no truth value, or that it's deviant. Then it's not true, right? But that's what it says! So it is true! But it says that it's not! So it is! So it isn't! Back to square one. 1.4. Introducing.
Страница
... truth value of the resulting complex statement is determined just by the truth value of its parts. ("Truth value" is just a general name for such things as true and false). The negation symbol, -', is especially simple. Any statement ...
... truth value of the resulting complex statement is determined just by the truth value of its parts. ("Truth value" is just a general name for such things as true and false). The negation symbol, -', is especially simple. Any statement ...
Страница
... truth value of -'A for every possible value of A. Note that the table captures the essence of negation as we discussed in Section 2.4. A statement and its negation always have opposite truth values. We can give similar tables, truth ...
... truth value of -'A for every possible value of A. Note that the table captures the essence of negation as we discussed in Section 2.4. A statement and its negation always have opposite truth values. We can give similar tables, truth ...
Садржај
Chapter Four | |
Chapter Five | |
Chapter | |
Chapter Seven | |
Chapter Eight | |
Chapter Nine | |
Chapter | |
Chapter Eleven | |
Chapter Twelve | |
What is Logic? | |
Index | |
Друга издања - Прикажи све
Sweet Reason: A Field Guide to Modern Logic James M. Henle,Jay L. Garfield,Thomas Tymoczko Ограничен приказ - 2011 |
Sweet Reason: A Field Guide to Modern Logic James M. Henle,Jay L. Garfield,Thomas Tymoczko Приказ није доступан - 2011 |
Чести термини и фразе
1-place predicate AOut argue argument form argument is valid arrow assumption attack Basic Sentential bison Buffalo buffalo buffalo Cathy Chapter citizens into criminals clause conclusion false conjunction death penalty deduction democracy diagram disjunction ElxPx English Euathlus Example Exercises exists fobular formal guess Here's Here’s Hillary Clinton HxPx infinite number invalid John McCain logician look main connective major in logic means modal modal logic negation Odd-numbered solutions begin organized crime P A Q paraconsistent logic paradox Polish possible worlds predicate language predicate letter premises are true premises true problem prove Q premise quantifier quantitative skills requirement raise taxes Raising cigarette taxes reason rebut recursive rule Sarah Palin smuggling sneers statement strategy tautology taxes on cigarettes tobacco true and false truth table truth value unfashionable variable Venn diagrams vote VOut Vx(Px VxPx write