in Mathematical Logic
391 views
0 votes
0 votes
\[\exists(x)P(x) \Leftrightarrow \exists(x) \bar P(x)\]
in Mathematical Logic
391 views

4 Comments

Take a variable x1 which have p(x) is true then its !P(x) will false, thus

it is true <-> false.

Hence above is not true.
1
1
Let P(x) = x eats meat.

∃(x)P(x) means some people eat meat. Can't we say that  from set of all people ..if some people eat meat then some people do not eat meat.Please advise where I am wrong.
0
0


∃(x)P(x) means some people eat meat

First if you want to apply this predicate to set of people then you should use Domain of Discourse as people. Because if Domain is not mentioned then this statement is applied over all entity of the universe.

Ref:-https://en.m.wikipedia.org/wiki/Domain_of_discourse

Refer the example section.

0
0
Ok is it true if we define domain of discourse as set of all living people?
0
0

Please log in or register to answer this question.

Related questions

0 votes
0 votes
2 answers
2
rahuldb asked in Algorithms May 5, 2017
780 views
rahuldb asked in Algorithms May 5, 2017
by rahuldb
780 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