Logic basic

Question

Express each of these sytem specification using predicate quantifiers ad Logical Connectives

1) When there is a less than 30 MB free on hard disk , a warning message is sent to all users

2) No directories in the file system can be opened and no files can be closed when system errors have been detected

3) The file system cannot be backed up if there is a user logged on

4) Video on demand can be delivered  when there is at least 8 Mb of memory available and connection speed is at least 54 Kb per sec

Answer 1

hi can ayone check i am weak in logic and had never studied before

1) Let p = there is less than 30 MB free on the harddisk

,q= a warning message is sent to all user p--->q

2) Let p = directories in the file system can be opened

q= files can be closed

r= System error have been deteced

r-->∽(p⋁q)

3) let p = the file system can be backed up

q= there is a user current logged on

q-->∽p

4) Let p = video on demand can be delivered

r= There are at least 8 MB of memory AVL

s= The connection speed is atleast 56kb per second

(r⋀s)-->p

if there are any more answer using quantifier please answer :)

Comments

B) ∃r-->∽∀(p⋁q)

---

Any more correction ??