Welcome! Log In Create A New Profile

# Syntax

Posted by Stupid_Nickname
Announcements Last Post
myUnisa availability 21 to 24 March 2019 03/17/2019 02:24PM
SoC Curricula 09/30/2017 01:08PM
Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
School of Computing Short Learning Programmes 11/24/2014 08:37AM
Unisa contact information 07/28/2011 01:28PM
 Syntax May 31, 2006 02:58PM IP/Host: ---.saix.net Registered: 13 years ago Posts: 4 Rating: 0
Hi Guys

I'd like to know if we'd be penalized if we used the syntax style used in The Languages of Logic by Guttenplan?

Thanks
Johan
 Re: Syntax May 31, 2006 05:26PM IP/Host: ---.gprs.vodacom.co.za Registered: 13 years ago Posts: 1,424 Rating: 0
I'm doing my deductions using a hybrid of the Gutenplan and LPL methods.

I'm numbering every line and putting the truth reliance numbers in as well but I'm using LPL's way of doing the disjuction elimination. It's easier to follow than Guttenplan. I'm not using the Fitch bars, I find them annoying. I can follow the different proof/subproofs without having to draw lines all the time.

Oh, I'm also just using I and E instead of Intro and Elim.

e.g. Gutenplan format:

```1         (1) P v Q          Premise
2         (2) Ã‚Â¬P             Premise
3         (3) P              Assumption
4         (4) Ã‚Â¬Q             Assumption
2,3       (5) P & Ã‚Â¬P         2,3 &I
2,3       (6) Ã‚Â¬Ã‚Â¬Q            4,5 Ã‚Â¬I
2,3       (7) Q              6 Ã‚Â¬E
8         (8) Q              Assumption
1,2       (9) Q              1,3,7,8,8 vE```

LPL of the above:
```| 1. P v Q
| 2. Ã‚Â¬P
|-
| | 3. P
| | 4. Ã‚Â¬Q
| |-
| | 5. _|_                   _|_ Intro: 2,3
| 6. Ã‚Â¬Ã‚Â¬Q                     Ã‚Â¬ Intro: 4,5
| 7. Q                       Ã‚Â¬ Elim: 6
| | 8. Q
| |-
| | 9. Q                     Reiter
| 10. Q                      v Elim: 1,3-7,8-9```

The way I'm doing it:
```1         (1) P v Q          Premise
2         (2) Ã‚Â¬P             Premise
3         (3) P              Assumption
4         (4) Ã‚Â¬Q             Assumption
2,3       (5) P /\ Ã‚Â¬P        /\I 2,3
2,3       (6) Ã‚Â¬Ã‚Â¬Q            Ã‚Â¬I 4,5
2,3       (7) Q              Ã‚Â¬E 6
8         (8) Q              Assumption
1,2       (9) Q              vE 1,3-7,8-8```
 Re: Syntax May 31, 2006 08:36PM IP/Host: ---.saix.net Registered: 13 years ago Posts: 4 Rating: 0
Hi Rob

Thanks for the tips. I allready handed my assignment in :/

Tried with the new scheme, but I think it's reception will be luke warm heheh.

I do hope that the moderators will get back to us on this subject.

Personally I'd like to use the exact syntax as in Guttenplan, you tend to worry less about layout ( score keeping fixes this ) and more about getting the logic right.

J
 Re: Syntax June 07, 2006 04:24PM Moderator IP/Host: Moderator Registered: 13 years ago Posts: 17 Rating: 0
You are required to use the fitch deductive system given in Chapter 6 onwards in your prescribed book not Guttenplan's deductive system.The useful part of Guttenplan deductive system you are to follow are his ten rules.They do apply to our formal proofs.

Lecturer
 Re: Syntax June 07, 2006 05:43PM IP/Host: ---.gprs.vodacom.co.za Registered: 13 years ago Posts: 1,424 Rating: 0
Oh Well

Looks like I'm going to lose a few marks for style - I didn't put in Fitch bars.

If this is how we're supposed to do it, does anybody know how to put in the Fitch bars on Word without it being a exercise in itself? The pipes and dashes I used above look ugly compared to the textbook and they were a bitch to type in. (That's the main issue I have with them - not computer-friendly)
 Re: Syntax June 20, 2006 06:30PM IP/Host: ---.gprs.vodacom.co.za Registered: 12 years ago Posts: 137 Rating: 0
Yip, It was a bit of a mission in word initially,
But I ended up cutting and pasting line objects and it did not take too long in the end.

Bye
 Re: Syntax August 08, 2006 11:20AM IP/Host: ---.cache.isnet.net Registered: 13 years ago Posts: 133 Rating: 0
i also did it the hard way, though thinking about it now it would be really easy to set your tabs to prefix with _, then when done find&replace with |
Sorry, only registered users may post in this forum.