Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
Activity
Q&A
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous Years
Blogs
New Blog
Exams
Dark Mode
Kenneth Rosen Edition 6th Exercise 1.3 Question 41 c (Page No. 49)
rahul sharma 5
asked
in
Mathematical Logic
Jun 8, 2017
edited
Mar 5, 2019
by
Pooja Khatri
526
views
0
votes
0
votes
Express using predicate,quantifies and connectives:-
The diagnostic monitor tracks status of all systems except main console
kenneth-rosen
discrete-mathematics
propositional-logic
quantifiers
rahul sharma 5
asked
in
Mathematical Logic
Jun 8, 2017
edited
Mar 5, 2019
by
Pooja Khatri
by
rahul sharma 5
526
views
answer
comment
Follow
share this
share
4 Comments
Show 2 previous comments
by
rahul sharma 5
commented
Jun 9, 2017
reply
Follow
share this
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
0
by
VishalBarkule
commented
Jun 9, 2017
reply
Follow
share this
Ohhh sorry my mistake.I thought it was contra postive...yeah converse is also right..is there given converse is not true
0
0
by
rahul sharma 5
commented
Jun 9, 2017
reply
Follow
share this
In the answer it self its a one way implication. Otherwise it would have been two way if converse is true:(
0
0
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
0
Answers
← Previous
Next →
← Previous in category
Next in category →
Related questions
0
votes
0
votes
1
answer
1
Lakshman Bhaiya
asked
in
Mathematical Logic
Feb 18, 2018
9,028
views
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??
Lakshman Bhaiya
asked
in
Mathematical Logic
Feb 18, 2018
by
Lakshman Bhaiya
9.0k
views
propositional-logic
kenneth-rosen
discrete-mathematics
quantifiers
1
vote
1
vote
1
answer
2
Navneet Srivastava
asked
in
Mathematical Logic
Jul 1, 2016
528
views
Kenneth Rosen Edition 6th Exercise 1.3 Example 17 (Page No. 38)
The restriction of a universal quantification is the same as the universal quantification of a conditional statement. For instance, ∀x < 0 (x2 > 0) is another way of expressing ∀x(x < 0 ... whereas existential quantification is same as existential quantification of a conjunction? Please provide proper details. Thank You.
Navneet Srivastava
asked
in
Mathematical Logic
Jul 1, 2016
by
Navneet Srivastava
528
views
kenneth-rosen
discrete-mathematics
mathematical-logic
propositional-logic
quantifiers
0
votes
0
votes
0
answers
3
kd.....
asked
in
Mathematical Logic
Jan 10, 2019
414
views
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
kd.....
asked
in
Mathematical Logic
Jan 10, 2019
by
kd.....
414
views
mathematical-logic
kenneth-rosen
discrete-mathematics
propositional-logic
quantifiers
0
votes
0
votes
1
answer
4
Sandy Sharma
asked
in
Mathematical Logic
Jul 6, 2018
676
views
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 ... And the reason " we don't use implication with ∃x " Which leaves me in confusion.?
Sandy Sharma
asked
in
Mathematical Logic
Jul 6, 2018
by
Sandy Sharma
676
views
kenneth-rosen
discrete-mathematics
mathematical-logic
quantifiers
Subscribe to GATE CSE 2024 Test Series
Subscribe to GO Classes for GATE CSE 2024
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
Post GATE 2024 Guidance [Counseling tips and resources]
GATE CSE 2024 Result Responses
[Project Contest] Pytorch backend support for MLCommons Cpp Inference implementation
Participating in MLCommons Inference v4.0 submission (deadline is February 23 12pm IST)
IIITH PGEE 2024 Test Series by GO Classes
Subjects
All categories
General Aptitude
(3.5k)
Engineering Mathematics
(10.4k)
Discrete Mathematics
(7.1k)
Mathematical Logic
(2.5k)
Set Theory & Algebra
(1.9k)
Combinatory
(1.6k)
Graph Theory
(1.1k)
Probability
(1.4k)
Linear Algebra
(1.1k)
Calculus
(792)
Optimization
(0)
Digital Logic
(3.6k)
Programming and DS
(6.2k)
Algorithms
(4.8k)
Theory of Computation
(6.9k)
Compiler Design
(2.5k)
Operating System
(5.2k)
Databases
(4.8k)
CO and Architecture
(4.0k)
Computer Networks
(4.9k)
Artificial Intelligence
(79)
Machine Learning
(48)
Data Mining and Warehousing
(25)
Non GATE
(1.4k)
Others
(2.7k)
Admissions
(684)
Exam Queries
(1.6k)
Tier 1 Placement Questions
(17)
Job Queries
(80)
Projects
(11)
Unknown Category
(870)
64.3k
questions
77.9k
answers
244k
comments
80.0k
users
Recent Blog Comments
category ?
Hi @Arjun sir, I have obtained a score of 591 in ...
download here
Can you please tell about IIT-H mtech CSE self...
Please add your admission queries here:...
Twitter
WhatsApp
Facebook
Reddit
LinkedIn
Email
Link Copied!
Copy