logické vyplývání
Metoda formalizace logiky: výrok (formule) log. vyplývá z A1, . . ., An" a množiny výchozích premis G tehdy a jen tehdy, je-li splněn ve všech interpretacích A1, . . ., An“ a G. Viz také logická sémantika; model.
Vytvořeno:
14. 3. 2000
Aktualizováno:
10. 7. 2006
Autor: -red-