in Mathematical Logic edited by
1,783 views
2 votes
2 votes

Loading Question

in Mathematical Logic edited by
1.8k views

2 Answers

3 votes
3 votes
Best answer

Please see the above properties . All are correct.So option D should be the correct option

selected by

4 Comments

Yes..
0
0
@Habibkhan How 3rd point in your notes is true... Can you explain a bit?
0
0
In 3rd point the LHS means that "there exists y for all x" means it is pointing to a particular value of y irrespective of value of x meaning independent behaviour but rhs side means "for all x there exists y" meaning that given a x there exists a value y but not necessarily the same value y..

That is why the given implication is one way true only..It is not biconditional..
2
2
1 vote
1 vote
D)all of the above are correct valid first  order formulae

Related questions

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