Обчислення предикатів, розділ математичної логіки - сукупність логіко-математичних числень , що формалізують ті розділи сучасної логіки, в яких відображаються і вивчаються (у зв'язку з розглядом суб'єктно-предикативний структури речень) правила оперування з кванторами . Див Висловлювання , Логіка предикатів .
Виберіть першу букву в назві статті:
|