Укажите обозначение логической связки отрицания:
Укажите обозначение логической связки конъюнкции:
Укажите условное обозначение общезначимой формулы:
Укажите условное обозначение утверждения, что формула B следует из формулы A:
Укажите верное утверждение:
Укажите бестиповой язык программирования:
Укажите теорему Гёделя о неполноте:
Укажите императивные языки программирования:
Укажите логические языки программирования: