Dowód wprost
Z Wikipedii, wolnej encyclopedia
Dowód wprost (dowód zwyczajny, dowód klasyczny) – inna od dowodu nie wprost forma dowodzenia w systemie założeniowym rachunku zdań, w której prawdziwość tezy dowodzi się bezpośrednio poprzez dedukcję – z założeń twierdzenia i aksjomatów teorii (ustalonych reguł).
Ten artykuł od 2024-04 wymaga zweryfikowania podanych informacji. |