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

asked in Mathematical Logic by Boss (7.7k points)
retagged by | 231 views
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 :(

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 Veteran (18.6k points)
Just notice the difference here:

Vx B -> A(x)


Vx B  -> Vx A(x)

did you get it?
@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??

= $\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)


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 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..:-)

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

33,707 questions
40,253 answers
38,874 users