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.
ME Test Series:Propositinal Logic
0
votes
231
views
madeeasytestseries
mathematicallogic
asked
Dec 16, 2016
in
Mathematical Logic
by
KISHALAY DAS
Boss
(
7.7k
points)
retagged
Jun 4, 2017
by
Arjun

231
views
Facebook
Google+
Twitter
answer
comment
All are invalid
Please explain why
@arjun sir,pls help in this one.
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.
i understand arjun sir,but if u colud just tell which option is correct then that would have helped..!
thanks anyway :)
^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
Veteran
(
18.6k
points)
comment
Show 13 previous comments
Just notice the difference here:
Vx B > A(x)
and
Vx B > Vx A(x)
did you get it?
@Akriti. Try this.
https://gateoverflow.in/63850/propositionallogicselfdoubt
@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??
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.
Also try using example.
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/?
x=6, A is true and B is true. So, LHS=true
sorry,domain is {3,9,15},,then tell for LHS.
Yes, u got it :)
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
Loyal
(
3.4k
points)

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

82
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 ... 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
Loyal
(
3.4k
points)

64
views
mathematicallogic
madeeasytestseries
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
NIELIT(17 Dec 2017) Result Out
Contest/challenge GATE201825
IISC admission
Admission in IITS through COAPS
IITKanpur
All categories
General Aptitude
1.2k
Engineering Mathematics
4.7k
Discrete Mathematics
3.3k
Mathematical Logic
1.3k
Set Theory & Algebra
871
Combinatory
580
Graph Theory
555
Probability
599
Linear Algebra
470
Calculus
350
Digital Logic
1.9k
Programming & DS
3.5k
Algorithms
3k
Theory of Computation
3.7k
Compiler Design
1.5k
Operating System
2.7k
Databases
2.8k
CO & Architecture
2.5k
Computer Networks
2.9k
Non GATE
835
Others
1.2k
Admissions
271
Exam Queries
393
Tier 1 Placement Questions
17
Job Queries
50
Projects
6
Follow @csegate
Gatecse
Recent Blog Comments
iam getting 65 in sta ,my serial number is ...
Yes..this is the list of candidates who secured ...
But this is not Final list.
Yes, Generally Data Science should be preferred. ...
Those who answered 35 must challenge  and even 1 ...
33,620
questions
40,170
answers
114,126
comments
38,552
users