natural logic

Мат. естественная логика