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

I forgot my password
All Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous
Blogs
New Blog
Exams
First time here? Checkout the
FAQ
!
x
×
Close
Use the google search bar on side panel. It searches through all previous GATE/other questions. For hardcopy of previous year questions please see
here
ME Test Series:Propositinal Logic
0
votes
255
views
madeeasytestseries
mathematicallogic
asked
Dec 16, 2016
in
Mathematical Logic
by
KISHALAY DAS
Loyal
(
6.6k
points)
retagged
Jun 4, 2017
by
Arjun

255
views
Facebook
Google+
Twitter
answer
comment
+1
All are invalid
0
Please explain why
0
@arjun sir,pls help in this one.
+4
sorry, I dont want to boil my brain solving such questions. For mathematical logic there are numerous previous year questions and also many PDFs are given in gatecse. When all those are there I do not want to waste time decoding such poorly formatted questions.
0
i understand arjun sir,but if u colud just tell which option is correct then that would have helped..!
thanks anyway :)
+3
^That means you did not understand :(
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
+1
vote
Statement 1)
Let the domain be set of real numbers.
B: true
A: number is integer
LHS = false and RHS= true
So, fale double implies true is false.
Statement 2)
Let the domain be set of real numbers.
B: false
A: number is integer
LHS = true and RHS= false
So, true double implies false is false.
answered
Dec 23, 2016
by
Sushant Gokhale
Boss
(
18.3k
points)
comment
Show 13 previous comments
0
Just notice the difference here:
Vx B > A(x)
and
Vx B > Vx A(x)
did you get it?
0
@Akriti. Try this.
https://gateoverflow.in/63850/propositionallogicselfdoubt
0
@sushant,yes,i have gone through the above link and see in that one 3rd statment is true.
meanwhile i understood that statement 1 is incorrect but
for statement 2,i was thinking that as B is already true then whether it is for some A to be true or for all A to be true,it is true afterall as it is universal.i guess i am wrong only.:(
THanks for helping out!
3rd statment is wrong na??
0
Lhs
= $\exists$x( A(x) > B(x) )
= $\exists$x( ~A(x) V B(x) )
= $\exists$x ~A(x) V $\exists$x B(x)
= Vx A(x) V $\exists$x B(x)
= RHS
So, true.
0
Also try using example.
0
thanks sushant,
if i take one example,we take domain as {3,6,9}
A=div by 2 and B = div by 3
then RHS is obviously TRue but what about LHS ∃x( A(x) > B(x) ) as here,A is not true for anyone.so LHS is true or false/?
0
x=6, A is true and B is true. So, LHS=true
0
sorry,domain is {3,9,15},,then tell for LHS.
0
Yes, u got it :)
0
thanks sushant..:)
Please
log in
or
register
to add a comment.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
1
answer
1
Logic
What is the correct translation of the following statement into mathematical logic? “If everyone respect somebody then that person is honest” Here respect (a, b) represent a respect b. None of these I feel it should be a but the answer is b
asked
Jan 25, 2017
in
Mathematical Logic
by
Pankaj Joshi
Active
(
3k
points)

129
views
mathematicallogic
madeeasytestseries
0
votes
1
answer
2
mathematical logic
asked
Jan 20, 2017
in
Mathematical Logic
by
vaishali jhalani
Loyal
(
5.9k
points)

87
views
mathematicallogic
madeeasytestseries
+1
vote
0
answers
3
Made Easy test
Which of the following option is correct for the given predicate with domain of all people Where F(x, y) means x is a friend of y'. If two persons are not friend of each other then they have atleast one friend common. If two persons have atleast one ... above I think the answer should be there exists a person all of his friends are not friends with each other but the solution says b
asked
Feb 1, 2017
in
Mathematical Logic
by
Pankaj Joshi
Active
(
3k
points)

68
views
mathematicallogic
madeeasytestseries
0
votes
0
answers
4
ME TEst Series Digital Logic
How can we say 2^3 is (1000) in binary? One is 8 and other is 8?
asked
Dec 25, 2016
in
Digital Logic
by
rahul sharma 5
Boss
(
25.5k
points)

89
views
madeeasytestseries
digitallogic
badquestion
0
votes
1
answer
5
ME Test Series Digital Logic
I got C as answer.In case enable to multiplexer is 0(MUX is disabled),it should not output 0 as per my understanding as 0 represents valid data?so after I7,I6 MUX is diabled for two clock pulses as per circuit working,then how can we assume that output is 0?It should be nothing(not even 0).Please help
asked
Dec 25, 2016
in
Digital Logic
by
rahul sharma 5
Boss
(
25.5k
points)

128
views
madeeasytestseries
digitallogic
digitalcircuits
+2
votes
0
answers
6
Madeeasy
asked
Jan 30, 2017
in
Mathematical Logic
by
vaishali jhalani
Loyal
(
5.9k
points)

45
views
madeeasytestseries
mathematicallogic
0
votes
0
answers
7
Predicate logic gatebook test on logic Q18
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Active
(
1k
points)

59
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
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
SCREENSHOT
Basic LaTeX guide
IIT Madras Phd
Databases GO Classroom
Happy Birthday Sir Arjun
All categories
General Aptitude
1.4k
Engineering Mathematics
6.3k
Discrete Mathematics
4.4k
Mathematical Logic
1.7k
Set Theory & Algebra
1.1k
Combinatory
798
Graph Theory
725
Probability
886
Linear Algebra
598
Calculus
428
Digital Logic
2.4k
Programming & DS
4.4k
Algorithms
3.8k
Theory of Computation
4.8k
Compiler Design
1.8k
Operating System
3.6k
Databases
3.5k
CO & Architecture
3k
Computer Networks
3.6k
Non GATE
1.2k
Others
1.3k
Admissions
511
Exam Queries
491
Tier 1 Placement Questions
23
Job Queries
64
Projects
17
Follow @csegate
Gatecse
Recent Blog Comments
Add JOB DEADLINE SEQUENCING to Greedy.
Hmm as an active user on this platform, I can...
Copypasting would not help in writing the...
Sir for final year student who have exam in...
42,687
questions
48,653
answers
156,493
comments
63,963
users