„Matematikai bizonyítás” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Konstruktív bizonyítás:
"A minimális következtetések szabályai ehhez a reductio ad absurdumot teszik:"
- Reductio ad absurdum szócikk linkjének helyes beillesztése. |
Nincs szerkesztési összefoglaló |
||
238. sor:
:A '''direkt bizonyítás''' (pozitív kijelentésekre) szabályai:
::'''GP''' = (∧be)(∧ki)(∨be)(∨ki)(⇒be)(⇒ki)(∀be)(∀ki)(∃be)(∃ki)
:A '''minimális következtetések''' szabályai ehhez a [[
::'''GM''' = '''GP''' + (¬be)
:A '''konstruktív''' (vagy intuicionista) '''bizonyítás''' ehhez a [[hamisból minden következik]] sémáját veszi fel:
|