@covalue провёл стрим по "диалоговой семантике логики".

Выглядит примерно так – допустим хотим показать верность логического тождества "из того, что a или b – следует, что не верно, что не верно, что a или b".

Для этого по определённым правилам разыгрываем такой диалог (очевидно, диалог может идти по нескольким траекториям – "стратегиям", далее приведена лишь одна из "трасс"):

0. (пропонент) Из того, что a или b – следует, что не верно, что не верно, что a или b
1. (оппонент) Вот тебе/примем "a или b", что дальше?
2. А что конкретно принимаем, a или b?
3. Примем a
4. Тогда утверждаю, что не верно, что не верно, что a или b
5. Нет, принимаю/утверждаю, что не верно, что a или b
6. Нет, принимаю/утверждаю, что a или b
7. Тогда ты должен что-нибудь показать: либо a, либо b
8. Верно a, как ты сам сказал (п. 3)