- #1
razored
- 173
- 0
I need a little help deciphering my text. It says as follows :
------------------------------------------------------------------------------------------
a) Some men are soldiers.
b) All men are hungry.
More formally these are stated :
a)[tex]\exists_{x} p[/tex], where x belongs to the set of men and p is the proposition : x is a soldier.
b)[tex]\forall_{x}[/tex],where x belongs to the set of men and q is the proposition : x is hungry.
The correct negations of the above propositions are:
a)All men are not soldiers, or: [tex]\forall_{x}[[/tex]~[tex]p][/tex]
b)Some men are not hungry, or: [tex]\exists_{x}[[/tex]~[tex]p][/tex]
You should examine carefully the reasons for rejecting the following statements as suitable negations.
a)Some men are not soldiers.
b)All men are not hungry.
Remember that the negation of a true proposition must be false.
------------------------------------------------------------------------------------------
They say that the negation of a true proposition must be false. Like " All men are hungry.(true)" then, "All men are not hungry.(false)" Why can't we use that? Its negation appears to be false. Can anyone give me a better explanation? Also, would a truth table help me here?
------------------------------------------------------------------------------------------
a) Some men are soldiers.
b) All men are hungry.
More formally these are stated :
a)[tex]\exists_{x} p[/tex], where x belongs to the set of men and p is the proposition : x is a soldier.
b)[tex]\forall_{x}[/tex],where x belongs to the set of men and q is the proposition : x is hungry.
The correct negations of the above propositions are:
a)All men are not soldiers, or: [tex]\forall_{x}[[/tex]~[tex]p][/tex]
b)Some men are not hungry, or: [tex]\exists_{x}[[/tex]~[tex]p][/tex]
You should examine carefully the reasons for rejecting the following statements as suitable negations.
a)Some men are not soldiers.
b)All men are not hungry.
Remember that the negation of a true proposition must be false.
------------------------------------------------------------------------------------------
They say that the negation of a true proposition must be false. Like " All men are hungry.(true)" then, "All men are not hungry.(false)" Why can't we use that? Its negation appears to be false. Can anyone give me a better explanation? Also, would a truth table help me here?