Sanakirja
Tekoälykääntäjä
Synonyymit
| Käännös | |
|---|---|
| Substantiivit | |
| 1. | motsägelsebevis {ett} |
Määritelmät
Substantiivit
- (mathematics, logic) Proof of a statement adduced by deriving a contradiction from the statement's negation.
Taivutusmuodot
| Monikko | proofs by contradiction |