3,083 views

Statements :1. Some soldiers are famous.
2. Some soldiers are intelligent.
Conclusions:1.Some soldiers are either famous or intelligent.
2.Some soldiers are neither famous nor intelligent.

both follows

by
5.1k points

see.  In first two sentence, the no of soldiers who are famous, are not certain . we can say  that - either some are not famous/intelligent or we can say all soldiers are famous/intelligent.

but in your 3rd and 4th sentence , All soldiers are famous/intelligent.

@srestha

Always consider a universal set.

Some people went to Delhi.

So, let the universe be the students in your class. (If the universe is not defined always consider the most general option). So, this means at least one student from class went to delhi. So, this implies:

$\exists x, G(x)$

and also

$\neg \forall x, \neg G(x)$ (which means it is not the case that no one had gone to Delhi)

Now,

Everyone went to Delhi.

This means every student in class went to Delhi which implies

$\neg \exists x, \neg G(x)$.

Now, the second case implies first. (This requires that the universe be non-empty, here it means at least one student in class and this assumption is usually used in many first order logic proofs)

http://math.stackexchange.com/questions/449418/why-does-the-semantics-of-first-order-logic-require-the-domain-to-be-non-empty

Same as @vijay said neither 1 nor 2
ok

Some people went to Delhi.

then only we ignore the case- no one had gone to Delhi

All other cases we have to consider.rt?

1
2,611 views