KWANTYFIKATORÓW RACHUNEK

rachunek predykatów, rachunek funkcyjny

(log.) rachunek zawierający, oprócz reguł wnioskowania właściwych dla zwykłego rachunku zdań, reguły swoiste - operacje opuszczania lub dołączania kwantyfikatorów ogólnych i szczegółowych oraz operacje uogólniania wyrażeń.

• KWANTYFIKATOR, (log.) skrótowe, symboliczne...