b
то есть в общем виде есть какое–то высказывание типа “Дела обстоят так–то.”
Size: a a a
2020 October 30
b
задача доказательства — показать что это высказывание правдиво
b
лол я немного в шоке что мне нужно прибегать к фундментальной математике чтобы прозрачно объяснить что такое доказательство
SP
Ты доказываешь что из условия следует следствие
всмысле следует? что они эквивалентны или как
SP
а. или что из аргументов можно родить ответ?
b
всмысле следует? что они эквивалентны или как
Если <дела обстоят так–то>, то это правда.b
можно вот так переписать если тебе угодно
p
а. или что из аргументов можно родить ответ?
Угу. Если мы имеем набор аргументов и применим такое то доказательство то мы получим такой-то вывод
b
ну как бы это и есть функция
SP
ну вот не совсем
b
да чувак это называется правда–функция
p
ну как бы это и есть функция
Ага. Можно на лямбдах написать.
SP
в функции мы можем ретурнить что угодно
b
в чем прикол ты подставляешь в правда–функцию все переменные
SP
погодите погодите мне надо это переварить
b
и вуаля ты знаешь правда это или нет. добро пожаловать в пропозициональную логику
b
все веселье начнется когда ты откроешь для себя тавтологии и противоречия
b
потому что оказывается в них хуй пойми как подставляй на выходе получается одно и то же
b
доказательства очень сильно опираются на свойства пропозиций быть тавтологиями и противоречиями
SP
да погоди ты кек