vyplývání

Logika, výrok, formule F vyplývá z axiómů daného kalkulu a z dané množiny premis, když při každém dosazení hodnot za její proměnné, při kterém jsou pravdivé axiómy a dané premisy, je pravdivá i formule F. Tj. F je splňována pro každou interpretaci, pro kterou jsou splňovány axiómy a premisy.

Vytvořeno: 14. 3. 2000
Aktualizováno: 14. 8. 2006
Autor: -red-

Odkazující hesla: úsudek.