Register

Logic basic

2,429 views
1 1 vote
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

1 Answer

2 2 votes
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 :)
Voting & Accepting an answer helps improve the community
← Previous · interview\ C program...Next → · Logic basic
← Previous in category · Express the statemen...Next in category → · Logic basic
Position:
Show:

Related questions

1 1 vote
1 1 answer
605
605 views
Dexter asked May 17, 2016
605 views
Logic basic
Express the quantification ∃!xP(x) using Universal , Existential Quantification and Logical Connectives
1 1 vote
1 1 answer
1.2k
1.2k views
Dexter asked May 17, 2016
1,201 views
logic basic
Express each of these statements using qunatifers .Then form the negation of the statement so that no negation is to left of a quantifier , Next Express the negation is i...
1 1 vote
1 1 answer
2.1k
2.1k views
Dexter asked May 17, 2016
2,104 views
Logic basic
Express each of the sentences using predicates , quantifier logical connectives and mathematical operations where the domain consists of all integers 1) The product of 2 ...
0 0 votes
1 1 answer
3.1k
3.1k views
Dexter asked May 17, 2016
3,060 views
Logic basic
Express each of these system specification using predicates , quantifier and logical connectives if necessary 1) At least one console must be accessible during every faul...