Дискретна мататематика 5 Секвенції в ЛВ

Приклад перевірки того, чи буде пропозиційна формула логіки висловлювань тавтологією, за допомогою секвенційного дерева.

Daily Beetle by Kevin MacLeod is licensed under a Creative Commons Attribution license (https://creativecommons.org/licenses/by/4.0/)
Source: http://incompetech.com/music/royalty-free/index.html?isrc=USUAN1500025
Artist: http://incompetech.com/

Видео Дискретна мататематика 5 Секвенції в ЛВ канала Mariia Fedorova