operacja konsekwencji,
log. funkcja, która każdemu zbiorowi zdań X, przyporządkowuje zbiór wszystkich zdań wyprowadzonych z X za pomocą reguł R.
operacja konsekwencji
Encyklopedia PWN
Znaleziono w książkach Grupy PWN
Trwa wyszukiwanie...
