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
254
views
madeeasytestseries
mathematicallogic
asked
Dec 16, 2016
in
Mathematical Logic
by
KISHALAY DAS
Loyal
(
6.5k
points)
retagged
Jun 4, 2017
by
Arjun

254
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.8k
points)

86
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
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
AVL Tree Rotation
self doubt
Mutual Exclusion vs. Hold and Wait
kvs pgt
Algorithms GO Classroom
All categories
General Aptitude
1.4k
Engineering Mathematics
5.7k
Discrete Mathematics
4k
Mathematical Logic
1.6k
Set Theory & Algebra
989
Combinatory
694
Graph Theory
649
Probability
747
Linear Algebra
551
Calculus
403
Digital Logic
2.2k
Programming & DS
4.1k
Algorithms
3.6k
Theory of Computation
4.5k
Compiler Design
1.7k
Operating System
3.2k
Databases
3.2k
CO & Architecture
2.8k
Computer Networks
3.2k
Non GATE
1.1k
Others
1.5k
Admissions
503
Exam Queries
474
Tier 1 Placement Questions
22
Job Queries
61
Projects
13
Follow @csegate
Gatecse
Recent Blog Comments
[email protected]
post it as question
[email protected]
@Swaraj i got 74.22 %
@sanjay sharma , my gmail id ...
39,716
questions
46,751
answers
140,562
comments
58,406
users