Dowód Wprost
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. |
Przykład dowodzenia metodą wprost w klasycznym rachunku zdań
 | (schemat zdaniowy) | |
|---|---|---|
| 1. |  | (pierwsze założenie w schemacie) |
| 2. |  | (drugie założenie w schemacie) |
| 3. |  | (zast. reguły negowania implikacji z wiersza 1.) |
| 4. |  | (zast. reguły opuszczania koniunkcji z wiersza 3.) |
| 5. |  | (zast. reguły opuszczania koniunkcji z wiersza 3.) |
| 6. |  | (zast. reguły opuszczania negacji z wiersza 5. prowadzące do uzyskania tezy schematu, a zatem i wniosku, iż musi być tautologią) |
This article uses material from the Wikipedia Polski article Dowód wprost, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Treść udostępniana na licencji CC BY-SA 4.0, jeśli nie podano inaczej. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Polski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.