# Help needed..Translate arguments into propositional logic

1. Philosophy Forum
2. » Logic
3. » Help needed..Translate arguments into propositional logic

Thu 23 Dec, 2010 02:16 pm
If Tim’s coat is in the hall and Tim is in the building then Tim is in his office.
If Tim is not in the building then his coat is not in the hall.
Tim’s coat is in the hall.
Therefore Tim is in his office.

I've just learnt something that I'm not so comfortable with.......Does any one know how to translate them and use the syntactic method to prove the validity???

A thousand thanks!

Owen phil

Tue 4 Jan, 2011 04:52 am
@jesienne,
jesienne wrote:

If Tim’s coat is in the hall and Tim is in the building then Tim is in his office.
If Tim is not in the building then his coat is not in the hall.
Tim’s coat is in the hall.
Therefore Tim is in his office.

I've just learnt something that I'm not so comfortable with.......Does any one know how to translate them and use the syntactic method to prove the validity???

A thousand thanks!

Tc = Tim’s coat is in the hall .
Tb = Tim is in the building.
To = Tim is in his office.

1. (Tc & Tb) -> To.
2. ~Tb -> ~Tc.
3. Tc.
:.
4. To.

By truth tables..
(((Tc & Tb) -> To) & (~Tb -> ~Tc)) -> To, ..is a tautology.

By deduction..
1. (Tc & Tb) -> To. Premise
2. ~Tb -> ~Tc. Premise
2a. Tc -> Tb.
By: 2, (~q -> ~p) <-> (p -> q).
3. Tc. Premise
3a. Tb.
By: 3, 2a, (p & (p -> q)) -> q.
:.
4. To.
By: 3, 3a, 1, ((p & (p -> q) -> q.
QED.

1. Philosophy Forum
2. » Logic
3. » Help needed..Translate arguments into propositional logic