| | # {{logic}} Any of a [[pair]] of [[proposition]]s, that cannot both be [[true]] or both be [[false]]. | | # {{logic}} Any of a [[pair]] of [[proposition]]s, that cannot both be [[true]] or both be [[false]]. |
| | + | #* {{quote-book|year=2001|author=Mark Sainsbury|title=Logical Forms — An Introduction to Philosophical Logic||chapter=1|isbn=978-0-63121-679-7|section=§4|page=20|passage=If one proposition is the negation of another, it follows trivially from the definition that the two propositions are '''contradictories'''. The converse does not hold. Two propositions can be '''contradictories''' without either being the negation of the other. For example: '''3''') John is more than six feet tall and '''4''') John is either exactly six feet tall or else less than six feet tall are [[contradictories]], but neither is the negation of the other. Negation is one way, but not the only way, of forming a '''contradictory'''.|publisher=Blackwell Publishing|edition=2nd}} |
沒有留言:
張貼留言