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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 27. 3. 2007
Autor: -red-

Sdílet: Facebook Twitter

Reklama: