Является ли неправильной или неправомерной формула математической логики (см. ниже) для интуиционистской логики?

Question

Является ли неправильной или неправомерной формула математической логики (см. ниже) для интуиционистской логики?

Earthwalker Мыслитель (7985), открыт 1 день назад

~~р→~~р

, где "~" – оператор отрицания, "→" – бинарный оператор импликации, а "р" – формула математической логики

Дополнен 1 день назад

В интуиционистской логике формула

~~p→p

– неправомерна поскольку интерпретация её истинности такая: "Уже невозможность доказать недоказуемую формулу р является невозможностью вывести из неё и р". (Здесь "доказательство" считать "возможность предоставить решение".)

В случае формулы ~~p→~~p как же мы выведем что-то из ~~р тогда?

Answer 1

RatÆCat Оракул (65997) 1 день назад

Не является

EarthwalkerМыслитель (7985) 1 день назад

Если

~~p→p – неправомерна поскольку интерпретация её истинности такая: "Уже невозможность доказать недоказуемую формулу р является невозможностью вывести из неё и р". (Здесь "доказательство" считать "возможность предоставить решение".)

В случае формулы ~~p→~~p как же мы выведем что-то из ~~р тогда?

Answer 2

логика вещь из металла, бороться ней бесполезно, она входит в мозг мгновенно осаждаясь в понимании

Answer 3

Василий Пктров Искусственный Интеллект (151309) 1 день назад

А где логика если два раза отрицать да или нет

EarthwalkerМыслитель (7985) 1 день назад

Вы знакомы с интуиционистской логикой?