Sanakirja
Tekoälykääntäjä
Synonyymit
| Käännös | Konteksti | |
|---|---|---|
| Substantiivit | ||
| 1. | dowód nie wprost {m} | matematiikka, logiikka |
Määritelmät
Substantiivi
- (mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation.
Taivutusmuodot
| Monikko | proofs by contradiction |