Основы равносильности логики предикатов
Предварённая нормальная форма
Исчисление предикатов
Теория в сигнатуре Сигма
Полная теория, определение и пример

Оставляйте комментарии, ставьте лайки, подписывайтесь на наш канал и не пропускайте новые видео!

Если интересно узнать об операторе и создателе этого канала, прочитать историю, посты про развитие проекта, то будем рады вас видеть на бусти - в [ Ссылка ].

Мне понравилась идея регулярно вести "заметки оператора" и поэтому на моей странице я рассказываю о важных для канала моментах, и просто о событиях, которые благодаря ему происходят в моей жизни.

Благодаря обратной связи и вашей поддержке будем развивать наш канал еще активнее)

свернуть