|
FILIT
Obsah Chronológia Registre Diskusia Správa Zoznam D |
Dosadeniedosadenie - substitúcia, nahradenie - logický výraz H' vzniká dosadením z logického výrazu H, ak je zároveň dosadzovaný určitý výraz H v H pre výraz H na všet- kých miestach, v ktorých H vystupuje ( L645;140).
|