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.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 10. 7. 2006
Autor: -red-

Sdílet: Facebook Twitter

Reklama: