| ← Older revision | Revision as of 17:50, 3 May 2012 |
| Line 12: | Line 12: |
| | # {{countable}} A [[denial]] or [[contradiction]]. | | # {{countable}} A [[denial]] or [[contradiction]]. |
| | # {{logic|countable}} A [[proposition]] that is [[true]] if and only if another one is [[false]]; a proposition resulting from the application to another proposition of the [[logical]] [[operation]] "[[not]]". | | # {{logic|countable}} A [[proposition]] that is [[true]] if and only if another one is [[false]]; a proposition resulting from the application to another proposition of the [[logical]] [[operation]] "[[not]]". |
| − | #* {{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=19|publisher=Blackwell Publishing|passage=You get the [[negation]] of a proposition if you insert "not" (or some equivalent expression) into it in such a way as to form a contradictory of it.}} | + | #* {{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=19|edition=2nd|publisher=Blackwell Publishing|passage=You get the [[negation]] of a proposition if you insert "not" (or some equivalent expression) into it in such a way as to form a contradictory of it.}} |
| | # {{logic}} The logical operation which obtains such (negated) propositions. | | # {{logic}} The logical operation which obtains such (negated) propositions. |
| | | | |
沒有留言:
張貼留言