The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
0 votes
256 views

asked in Mathematical Logic by Loyal (6.6k points)
retagged by | 256 views
+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 :(

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 by Boss (18.3k points)
0
Just notice the difference here:

Vx B -> A(x)

 and

Vx B  -> Vx A(x)

did you get it?
0
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..:-)

Related questions

0 votes
1 answer
2
asked Jan 20, 2017 in Mathematical Logic by vaishali jhalani Loyal (5.9k points) | 90 views
+2 votes
0 answers
6
asked Jan 30, 2017 in Mathematical Logic by vaishali jhalani Loyal (5.9k points) | 46 views


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

44,156 questions
49,640 answers
163,333 comments
65,808 users