Help needed..Translate arguments into propositional logic

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

Get Email Updates Email this Topic Print this Page

Reply 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
 
Reply 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
Copyright © 2019 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 12/11/2019 at 01:49:34