Welcome! Log In Create A New Profile

Advanced

Assignment 1 Q 3 and 6

Posted by kiolb 
Announcements Last Post
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
Forums Messages New
avatar
kiolb
Assignment 1 Q 3 and 6
March 09, 2010 02:32PM
To me these formulae are not well formed. Brackets missing, so not sure which operator should have presedence.

Q1
(p -> ~q) ...1
(p ^ r) ...2
s ...3

Will it be (1 v 2) ->3 or 1 v (2 -> 3)

Q6
Must we place the brackets to make the two semantically equivalent?

I did email cos361@.......
I will wait for a response.
Reply Quote
avatar
brettc
Re: Assignment 1 Q 3 and 6
March 17, 2010 02:48PM
Did you get a response regarding this yet?
Reply Quote
avatar
kiolb
Re: Assignment 1 Q 3 and 6
March 17, 2010 03:48PM
No. Very frustrating.
Reply Quote
rezrovs
Re: Assignment 1 Q 3 and 6
March 17, 2010 05:37PM
I used operator precedence to get through this question. I don't have the textbook on hand to provide a reference, but there is a reference at wikipedia - logical connectives.
Reply Quote
avatar
ilanpillemer
Re: Assignment 1 Q 3 and 6
March 20, 2010 09:34PM
rather email the lecturers directly.

 
  ,= ,-_-. =.
 ((_/)o o(\_))
  `-'(. .)`-'
      \_/
http://ilanpillemer.com
Entia non sunt multiplicanda praeter necessitatem
Reply Quote
rezrovs
Re: Assignment 1 Q 3 and 6
March 21, 2010 11:37AM
Found the reference in the textbook: Chapter 1, Convention 1.3 on page 5.
Reply Quote
avatar
kiolb
Re: Assignment 1 Q 3 and 6
April 06, 2010 08:54AM
Thanks rezrovs.

Seems like that is what they want us to do.
Reply Quote
Newer Topic Older Topic
Sorry, only registered users may post in this forum.

Click here to login