Что такое функциональный базис? Душкин объяснит

Для того чтобы выражать одни пропозициональные формулы через другие, необходимо иметь механизмы приведения операций друг к другу. Оказывается, что есть наборы логических операций, которые позволяют выражать через себя произвольные формулы. Роман Душкин разъясняет, что такое функциональный базис в пропозициональной логике.

#ИИ #ИскусственныйИнтеллект #Логика #Выражение #Базис #Видеошпаргалка #РоманДушкин

[NickNick]

блин, а я не знал, что есть единичные операции, которые образуют базис - думал, что как минимум две надо...

[dushkin_will_explain]

Вы всегда можете обратиться к нам за консультациями.

[Resident-]

оценивать импликацию с точки зрения классической (двухзначной) истинности не совсем корректно. По крайне мере рисовать таблицу истинности как для классического логического операнда. Например, я хочу установить истинность высказывания "Если выпьешь яд, то умрешь" на основе "выпил яд" и "умер". Единственной безусловной оценкой будет случай когда выпил яд и не умер, тогда, да, безусловно следует оценивать это высказывание как ложь. Во всех других случаях значением высказывания будет "возможно" или "не исключено", но это уже какая-то многозначная, модальная логика, и там уже не будут единички в результатах. Даже простой здравый смысл подсказывает - с чего это оно должно быть истинным?! Кроме того, такой способ рассуждения может легко ввести в заблуждения того, кто будет руководствоваться такой таблицей истинности (тождество не а или б) . Человек например наблюдает, что кто-то не пил кока-колу и не умер, и сделать вывод (посмотрев это видео) - ага, значить истинно, что "если выпить кока-колу, то умрешь" (a=0 b=0 значить высказывание=1)