Assertion: contradiction | /r/HasProperty | taken as sign
Facets:
value: usually
type: DEGREE
value: in deductive logic
type: OTHER
Source sentences:
text: In deductive logic (and thus, also, in mathematics), a contradiction is usually taken as a sign that something has gone wrong, that you need to retrace the steps of your reasoning and "check your premises.