operacja konsekwencji
 
Encyklopedia PWN
operacja konsekwencji,
log. funkcja, która każdemu zbiorowi zdań X, przyporządkowuje zbiór wszystkich zdań wyprowadzonych z X za pomocą reguł R.
zgłoś uwagę
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia