You can do these by truth tables (without using Natural deduction) let say you have A and B as two predicates then,
A B A=>B
T T T
T F F
F T T
F F T
Now try ~A and ~B and you should end up with ~B=>~A iff A=>B. In English if you make a statement saying if it rains then it is wet, then if it is dry, it has not rained.
Hope this helps
CompuChip
Aug1-08, 03:02 PM
Did you learn about truth tables? Can you write down the truth table for A => B and see how that helps you (dis)prove them?
By the way, this is a good exercise. It points out an important mistake made by many people, who start to learn writing down proofs.
peos69
Aug1-08, 03:52 PM
What people do before the truth tables or what other formalistic commodities where discovered????? Where in the dark?? MUST ilearn now whatever you call it logic to evaluate those arguments??? I KNOW that an argument is valid when the premises of the argument supports the truthfulness of the result,therefor No1 argument is valid
peos69
Aug1-08, 04:02 PM
I am sorry to say that truth tables and natural deduction sounds Chinese to me.
Isnt there another way to evaluate those arguments???
Focus
Aug1-08, 04:18 PM
What people do before the truth tables or what other formalistic commodities where discovered????? Where in the dark?? MUST ilearn now whatever you call it logic to evaluate those arguments??? I KNOW that an argument is valid when the premises of the argument supports the truthfulness of the result,therefor No1 argument is valid
No one argument basically says that if it has rained then it is wet, and then it observes that it has not rained. Now you cant say that it is not wet, because rain is not the only thing that causes things to get wet. For truth tables go on http://en.wikipedia.org/wiki/Truth_table . Make sure you look at the examples, they are pretty simple. Some tips,
If A then B is the same as saying A=>B (that is A implies B)
and iff is if and only if which says A=>B and B=>A.
No1 is definitely false, no doubt about it. If you don't understand why, think about it. Rather I should say its not a tautology (which means its not always true).
peos69
Aug1-08, 05:31 PM
Surely if it rains is going to get wet .Those things are interrelated,but the sentences in my examples are not.To oppose your argument i can produce the following argument.
If i am reach i can buy Kennedy Airport,but since i am not reach i cannot buy the said airport
CompuChip
Aug1-08, 05:38 PM
That's logically false :)
You could get a bank to loan you money and still buy it.
It would be different if you said:
"If and only if (i.e. precisely if, i.e. either both, or neither) I am rich, I can buy Kennedy airport."
Then from "I am not rich" you can draw the conclusion that you can't buy it. But it follows from the "only if" part, not the "If" part.
peos69
Aug1-08, 06:05 PM
Mention The Bank I Will Pay Them A Visit Tomorrow
peos69
Aug1-08, 06:09 PM
And again you did not answerer my question what people did before all those logical commodities were discovered
peos69
Aug1-08, 06:21 PM
I am sorry to say i do not understand
Focus
Aug1-08, 06:56 PM
Implication that is A=>B (If A then B) is true if A is false, regardless of if B is false or not. So if you are not rich then the statement is true regardless if you can buy the airport. The statement would be false if you are rich but you cannot buy the airport.
If you say, I am rich if and only if I can buy the airport, then if you are not rich, you cannot buy the airport.
peos69
Aug1-08, 07:31 PM
.
.[/QUOTE]If you say, I am rich if and only if I can buy the airport, then if you are not rich, you cannot buy the airport.[/QUOTE]
I am sorry i DID NOT say that
peos69
Aug1-08, 07:36 PM
If i am reach i can buy Kennedy Airport,but since i am not reach i cannot buy the said airport
That is what i said
Focus
Aug1-08, 07:41 PM
It is only true if you say "if and only if" not just "if".
HallsofIvy
Aug1-08, 10:16 PM
Would you also agree then that
"If I am rich I can buy a cup of coffee but I am not rich so I cannot buy a cup of coffee"?
FreshStart
Aug1-08, 11:37 PM
Hallsofivy, i agree...it's all relative!
peos69
Aug2-08, 05:32 AM
A cup of coffee is not the Kennedy Airport
peos69
Aug2-08, 05:40 AM
I am sorry for the mistake in spelling. it is "rich" instead of "reach"
HallsofIvy
Aug2-08, 05:43 AM
A cup of coffee is not the Kennedy Airport
And your point is what? I was under the impression we were talking about airports. Are you now saying that we were only talking about airports?
The discussion at the point where you wrote "If I am rich I can buy the Kennedy Airport" implied "if I am not rich I cannot buy the Kennedy Airport" while everyone had been telling you that "if A then B" does NOT imply "if not A then not B". My point was that your example is not general.
peos69
Aug2-08, 06:02 AM
If you can prove Godels theorems and the consistency of set theory i will jump over the cliff but since you cannot prove them both you saved my life
peos69
Aug2-08, 06:09 AM
And your contention is not general
peos69
Aug2-08, 06:11 AM
NOT everyone ..........
Hurkyl
Aug2-08, 06:31 AM
Er, are you feeling well?
CompuChip
Aug2-08, 09:36 AM
* Wondering if this thread can still be saved?
peos69
Aug2-08, 11:07 AM
SURE perfect after all i am not going to jump over the cliff