Какие формулы отражают правила вывода для отношения контрарности (противоположности)?

Для просмотра статистики ответов нужно залогиниться.