supoziční důkaz

Logika důkaz v systémech přirozené dedukce. Přímý supoziční důkaz je založen na přechodu od antecedentu formule k jejímu konsekventu. Při nepřímém supozičním důkazu vede přijetí antecedentu a negace konsekventu jakožto supozice ke sporu.

Vytvořeno: 14. 3. 2000
Aktualizováno: 27. 3. 2007
Autor: -red-