First, it's essential to know what is meant by the term "exclusive or". This is the interpretation that many people give to the word "or" -- where "X or Y" means either X is true or Y is true, but that it isn't the case that both X and Y are true. This (wrong) understanding of what "or" means is common because it is often the case that X and Y represent complimentary possibilities: old or new, cold or hot, right or wrong... The truth table for exclusive or (often written xor, pronounced "ex-or", symbolically it is usually ⊕) is
A B A ⊕ B T T Ø T Ø T Ø T T Ø Ø Ø So it's true when one, or the other, but not both of its inputs are true. The upshot of the last sentence is that we can write A ⊕ B ≅ (A ∨ B) ∧ ¬(A ∧ B).
The above reformulation should help...
The only question in your mind, when deciding whether a sentence is a statement, should be "Does this thing have a definite truth value?"Well?
Isn't it just plainly false?
Try to justify why this sentence can't be either true or false.
A tiny hint here: since the sentences involve 3 variables you'll need truth tables with 8 rows. Here's a template.
A B C (A ∧ B) ∨ C A ∧ (B ∨ C) T T T T T Ø T Ø T T Ø Ø Ø T T Ø T Ø Ø Ø T Ø Ø Ø
A | B | A|B |
---|---|---|
T | T | Ø |
T | Ø | T |
Ø | T | T |
Ø | Ø | T |
A | B | A↓B |
---|---|---|
T | T | Ø |
T | Ø | Ø |
Ø | T | Ø |
Ø | Ø | T |
Sorry, I know this is probably the hardest problem, but I'm (mostly) not going to help...Just one hint to help you get started: NAND and NOR are the negations of AND and OR (respectively) so, for example, (X ∧ Y) ≅ ¬(A|B).
I sometimes like to rephrase the implication X ⇒ Y as "X's truth forces Y to be true."
You should definitely be able to do this one on your own, but anyway, here's an outline of the table:
A B A ⇒ B ¬A ∨ B T T T Ø Ø T Ø Ø
No help on this one other than to say that the associative property does not hold for implications.
Hmmm... This will seem like a strange hint, but if you were to hear a kid at the playground say "Oh yeah? Well, I did call your mom a fatty and you still haven't clobbered me! Owww! OWWW!!! Stop hitting me!!"What conditional sentence was he attempting to negate?
The way I see it there are eight possible ways to arrange "You fix the toilet" and "I'll pay the rent" (or their respective negations) around an implication arrow.Here they all are. You decide which one sounds best.
- If you fix the toilet, then I'll pay the rent.
- If you fix the toilet, then I won't pay the rent.
- If you don't fix the toilet, I'll pay the rent.
- If you don't fix the toilet, then I won't pay the rent.
- If I payed the rent, then you must have fixed the toilet.
- If I payed the rent, then you must not have fixed the toilet.
- If I didn't pay the rent, then you must have fixed the toilet.
- If I didn't pay the rent, then you must not have fixed the toilet.
Some of those are truly strange...
Unless we're talking about some celebrity bringing their pet Vietnamese pot-bellied pig into first class with them, or possibly a catapult of some type... The antecedant (the if part) is false, so Yay! I AM the king of Mesopotamia!! Whoo-hooh! What? I'm not? Oh. But the if-then sentence is true. Bummer.
You'll want to use |, the Scheffer stroke, aka NAND, because it's truth table contains three T's and one Ø -- you'll just need to figure out which of its inputs to negate so as to make that one Ø occur in the second row of the table instead of the first.
- If you do the crime, you must do the time.
- If you don't have a good job, you must've done poorly in school.
- If you don't treat others in a certain way, you can't hope for others to treat you in that fashion,
- If there are no clouds, it can't be raining.
- If ∑n=0∞ an is not a convergent series, then either an > bn, for some n or ∑n=0∞ bn is not a convergent series.
The converse is "If I watch your back, then you'll watch my back." (Sounds a little dopey doesn't it -- likes its sort of a wishful thinking...)The inverse is "If you don't watch my back, then I won't watch your back." (Sounds less vapid, but it means the same thing...)
∑n=1∞ f(n) < ∫0∞ f(x).
Discuss the meanings of and (where possible) provide justifications for the inverse, converse and contrapositive of the conditional statement in the integral test.The inverse says -- if the integral isn't finite, then the series doesn't converge. You can cook-up a function that shows this to be false by (for example) creating one with vertical asymptotes that occur in between the integer x-values. Even one such pole can be enough to make the integral go infinite.The converse says that if the series converges, the integral must be finite. The counter-example we just discussed would work here too.
The contrapositive says that if the series doesn't converge, then the integral must not be finite. If we were allowed to use discontinuous functions, it isn't too hard to come up with an f that actually has zero area under it -- just make f be identically zero except at the integer x-values where it will take the same values as the terms of the series. But wait, the function we just described isn't "decreasing" -- which is probably why that hypothesis was put in there!
These "laws" should probably be layed-out in a big 3 by 3 table. Such a table would of course have 9 cells, but we won't be using the cells on the diagonal because they would involve an operation distributing over itself. (That can't happen, can it?)I'm going to put a few of the entries in, and you do the rest.
+ * ^ + Ø x + (y * z)
= (x + y) * (x + z)x + (yz)
= (x+y)(x+z)* x*(y+z)
= (x*y)+(x*z)Ø ^
Ø
You should be able to do these on your own.
Here's the pair that shows the negation of an AND is the same as the OR of the same inputs negated.
- "You smoke and you won't get lung cancer."
- "A substance glitters and it is necessarily gold."
- "There is smoke,and there isn't fire."
- "A number is squared, and the result is not positive."
- "A matrix is square and it is not invertible."
The one's from Wicca and George Bernard Shaw are just there for laughs.For the remainder, you may want to contrast how restrictive they seem. For example the Christian version is (in my opinion) a lot stronger than the one from the Talmud -- "treat others as you would want to be treated" restricts your actions both in terms of what you would like done to you and in terms of what you wouldn't like done to you; "Don't treat your fellows in a way that would be hateful to you." is leaving you a lot more freedom of action, since it only prohibits you from doing those things you wouldn't want done to yourself to others. The Hindus, Epictetus and the Jews (and the Wiccans for that matter) seem to be expressing roughly the same sentiment -- and promoting an ethic that is rather more easy for humans to conform to!
From a logical perspective it might be nice to define open sentences
W(x,y) = "x would want y done to him."
N(x,y) = "x would not want y done to him."
D(x,y) = "do y to x."
DD(x,y) = "don;t do y to x."
In which case, the aphorism from Luke would be
(W(you, y) ⇒ D(others, y)) ∧ (N(you, y) ⇒ DD(others, y))
Here's the last one:
¬ (A ∧ B) ∧ ¬ (A ∧ C) DeMorgan's law (times 2) ≅ (¬A ∨ ¬B) ∧ (¬A ∨ ¬C) Distributive law ≅ ¬A ∨ (¬B ∧ ¬C)
Unique existance is essentially saying that there is exactly 1 element of the universe of discourse that makes P(x) true. The negation of "there is exactly 1" is "there's either none, or at least 2".Is that enough of a hint?
- ∀ x ∃ y L(x,y).
This is a fairly optimistic statement " For everyone out there, there's somebody that they'll fall in love with."- ∃ x ∀ y L(x,y). This one, on the other hand, says something fairly strange: " There's someone who has fallen in love with every other human being." I don't know, maybe the Dalai Lama? Mother Theresa?...
Anyway, do the last two for yourself.
- ∀ x ∀ y L(x,y).
- ∃ x ∃ y L(x,y).
Here's a couple of bonus questions. Two of the statments above have different meanings if you just interchange the order that the quantifiers appear in. What do the following mean (in contrast to the ones above)?
- ∃ y ∀ x L(x,y).
- ∀ y ∃ x L(x,y).
This is asking you to put a couple of things together. The first thing is that in negating a quantified statement, we get a new statement with all the quantified variables occuring in the same order but with ∀'s and ∃'s interchanged. The second issue is that the logical statement that appears after all the quantifiers needs to be negated. Since, in this statement we have a conditional, you must remember to negate that properly (its negation is a conjunction).∃ ε>0, ∀ δ>0, ∃ x, (|x-c| < δ) ∧ (|f(x)-l| ≥ ε) .
The exceptions are very small prime numbers. You should be able to find them easily.
If she weighs the same as a duck, then she's made of wood.
If she's made of wood then she's a witch.
Therefore, if she weighs the same as a duck, she's a witch.
Which rule of inference is he using?
This is what many people refer to as the transitive rule of implication. As an argument form it's known as "hypothetical syllogism."
Either you are sick or you are well.Identify the three tautologies that are introduced in this "proof."
If you are well there's nothing to worry about.
If you are sick there are just two possibilities:
Either you will get better or you will die.
If you are going to get better there's nothing to worry about.
If you are going to die there are just two posibilities:
Either you will go to Heaven or to Hell.
If you go to Heaven there is nothing to worry about. If you go to Hell, you'll be so busy shaking hands with all your friends there won't be time to worry ...
Look at the lines that start with the word "Either."
W ∨ A ¬ W ------------------------- ∴ A This is "disjunctive syllogism."
Let C(x) be the open sentence "x has a car" and let E(x) be the open sentence "x escaped the flooding."This argument is actually the particular form of universal modus ponens: (See the final question in the next set of exercises.)
∀ x, C(x) ⇒ E(x) C(Sandra) ------------------------- ∴ E(Sandra) At this stage in the game it would be perfectly fine to just identify this as modus ponens and not worry about the quantifiers that appear.
I'm leaving the last two for you to do. One small hint: both are valid forms.
This looks like modus tollens. Let G refer to "guilt" and P refer to "in prison"
You should note that while the form is valid, there is something terribly wrong with this argument. Is it really true that everyone who is guilty of a crime is in prison?
G ⇒ P ¬P ------------------------- ∴ ¬G
For example
∀ x, A(x) ⇒ B(x) |
A(p) |
------------------------- |
∴ B(p) |
is the particular form of modus ponens (here, p is not a variable -- it stands for some particular element of the universe of discourse).
And,
∀ x, A(x) ⇒ B(x) |
∀ x, ¬ B(x) |
------------------------- |
∴ , ∀ x, ¬ A(x) |
is the universal form of modus tollens. Re-examine the arguments from problem (1), determine their forms (including quantifiers) and whether they are universal or particular.
Hint: Only one of the arguments is a univeral form (number 4).Here's an analysis of number 5:
All fish live in water.
The octopus lives in water.
Therefore, the octopus is a fish.Let F(x) be the open sentence "x is a fish" and let W(x) be the open sentence "x lives in water"
Our argument has the form
∀ x, F(x) ⇒ W(x) W(the octopus) ------------------------- ∴ F(the octopus) Clearly something is wrong -- a converse error has been made -- if everything that lived in water was necessarily a fish the argument would be OK (in fact it would then be modus ponens). But that is the converse of our major premise.