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
Exam Category
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
226
views
madeeasytestseries
mathematicallogic
asked
Dec 16, 2016
in
Mathematical Logic
by
KISHALAY DAS
Boss
(
7.4k
points)
retagged
Jun 4
by
Arjun

226
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
(
18k
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
in
Mathematical Logic
by
Pankaj Joshi
Loyal
(
3.2k
points)

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

77
views
mathematicallogic
madeeasytestseries
0
votes
0
answers
3
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
Veteran
(
19k
points)

79
views
madeeasytestseries
digitallogic
badquestion
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
Jobs via UPSC
GATE 2018 Exam Schedule  1 Session for CS
DRDO Recruitment Notification for 76 Post  Apply Online
Request to change the date of ISRO/NIELIT exam
Plagiarism is not Learning
All categories
General Aptitude
1.1k
Engineering Mathematics
4.1k
Discrete Mathematics
2.8k
Mathematical Logic
1k
Set Theory & Algebra
790
Combinatory
521
Graph Theory
476
Probability
528
Linear Algebra
411
Calculus
314
Digital Logic
1.7k
Programming & DS
3k
Algorithms
2.7k
Theory of Computation
3.3k
Compiler Design
1.2k
Operating System
2.4k
Databases
2.5k
CO & Architecture
2.2k
Computer Networks
2.5k
Non GATE
820
Others
1.2k
Admissions
244
Exam Queries
424
Tier 1 Placement Questions
16
Job Queries
39
Projects
4
Follow @csegate
Gatecse
Recent Blog Comments
Thank you @
@Oggy Go with quantitative aptitude by RS ...
Please, guys, suggest me how to prepare for ...
yes you are right . ace test series is worst of ...
I must shift my preparation course than. I am ...
29,961
questions
37,632
answers
96,400
comments
35,286
users