
Для того чтобы выражать одни пропозициональные формулы через другие, необходимо иметь механизмы приведения операций друг к другу. Оказывается, что есть наборы логических операций, которые позволяют выражать через себя произвольные формулы. Роман Душкин разъясняет, что такое функциональный базис в пропозициональной логике.
ТГ-канал Романа Душкина:
#ИИ #ИскусственныйИнтеллект #Логика #Выражение #Базис #Видеошпаргалка #РоманДушкин