The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
Facebook Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
Kenneth Rosen Edition 6th Exercise 1.3 Question 41 c (Page No. 49)
0
votes
89
views
Express using predicate,quantifies and connectives:
The diagnostic monitor tracks status of all systems except main console
kennethrosen
discretemathematics
propositionallogic
quantifiers
asked
Jun 9, 2017
in
Mathematical Logic
by
rahul sharma 5
Boss
(
25.6k
points)
edited
Mar 5, 2019
by
Pooja Khatri

89
views
answer
comment
0
Given answer is :
But why the converse of above is not true?
0
I think converse is also true..because converse is " All systems those are not tracked bye diagnostic system are main consoles..correct me if I m wrong
0
I think you gave statement for contra positive.
Converse will be If a diagnostic system handles status of the system then that system is not main console?
0
Ohhh sorry my mistake.I thought it was contra postive...yeah converse is also right..is there given converse is not true
0
In the answer it self its a one way implication. Otherwise it would have been two way if converse is true:(
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
0
Answers
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
1
answer
1
Kenneth Rosen Edition 6th Exercise 1.3 Example 27 (Page No. 45)
Q)Consider these statements, of which the first three are and fourth is a valid conclusion. "All hummingbirds are richly colored." "No large birds live on honey." "Birds that do not live on honey are dull in color" "Hummingbirds are small." Express using quantifiers??
asked
Feb 18, 2018
in
Mathematical Logic
by
Lakshman Patel RJIT
Veteran
(
59.5k
points)

180
views
propositionallogic
kennethrosen
discretemathematics
quantifiers
0
votes
0
answers
2
Kenneth Rosen Edition 6th Exercise 1.4 Question 9f (Page No. 59)
Q) There is somebody whom no one loves L(x,y) : x loves y. Doubt: Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are different please give explaination
asked
Jan 10, 2019
in
Mathematical Logic
by
kd.....
Junior
(
861
points)

89
views
mathematicallogic
kennethrosen
discretemathematics
propositionallogic
quantifiers
0
votes
1
answer
3
Kenneth Rosen Edition 6th Exercise 1.3 Question 41b (Page No. 49)
Express each of these system specifications using predicates, quantifiers, and logical connectives b) Whenever there is an active alert, all queued messages are transmitted. There are two Solution to this AND Both seems correct to me . ... ) And the reason " we don't use implication with ∃x " Which leaves me in confusion.?
asked
Jul 6, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

106
views
kennethrosen
discretemathematics
mathematicallogic
quantifiers
0
votes
1
answer
4
Kenneth Rosen Edition 6th Exercise 1.3 Question 40c (Page No. 49)
Express each of these system specifications using predicates, quantifiers, and logical connectives. c) The file system cannot be backed up if there is a user currently logged on. I got this expression : ∃x(U(x)) > not F(x) ... the manual is: Which one is correct? If the manual is correct then why two variables x,y are required?
asked
Jul 6, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

109
views
kennethrosen
mathematicallogic
discretemathematics
quantifiers
Quick search syntax
tags
tag:apple
author
user:martin
title
title:apple
content
content:apple
exclude
tag:apple
force match
+apple
views
views:100
score
score:10
answers
answers:2
is accepted
isaccepted:true
is closed
isclosed:true
Recent Posts
ISRO CSE 2020 PAPER ANALYSE
BARC OCES/DGFS 2020
ISI CMI PDF by GATE Overflow
Calculus Important Points
Management Trainee Recruitment COAL INDIA 2020
All categories
General Aptitude
1.9k
Engineering Mathematics
7.5k
Discrete Mathematics
5.2k
Mathematical Logic
2.1k
Set Theory & Algebra
1.4k
Combinatory
916
Graph Theory
824
Probability
1k
Linear Algebra
723
Calculus
592
Digital Logic
2.9k
Programming and DS
4.9k
Algorithms
4.4k
Theory of Computation
6.2k
Compiler Design
2.1k
Operating System
4.5k
Databases
4.1k
CO and Architecture
3.4k
Computer Networks
4.2k
Non GATE
1.4k
Others
1.4k
Admissions
595
Exam Queries
573
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent Blog Comments
You will definitely get selected. All the best...
Am getting 108 and I belong to obc category. Is...
Shut the f up and study.. If u get to the...
@devendhar, yes ....great chances of...
Cut off will be between 95115. But not more than...
50,737
questions
57,397
answers
198,611
comments
105,456
users