Математическая логика и теория алгоритмов
|
1.9 Логические эквивалентности с кванторами |
назад | оглавление | вперёд |
Коммутация одноименных кванторов
       
Законы ограничения действия
       
       Формула А находится в предваренной форме, если она имеет следуюший вид: , где