Искусственный интеллект

Аксиому (V Ф)[(50) А (V a, s)( (V s)(